<map id="CVC4::EmptyCommand" name="CVC4::EmptyCommand">
<area shape="rect" id="Node000001" title="EmptyCommands are the residue of a command after the parser handles them (and there&#39;s nothing left to..." alt="" coords="88,198,244,223"/>
<area shape="rect" id="Node000002" href="$classCVC4_1_1Command.html" title=" " alt="" coords="46,109,166,135"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="125,146,160,196,155,199,121,149"/>
<area shape="rect" id="Node000003" href="$classCVC4_1_1CommandStatus.html" title=" " alt="" coords="5,13,164,39"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="93,53,106,108,100,109,88,54"/>
<area shape="rect" id="Node000004" title=" " alt="" coords="201,109,278,135"/>
<area shape="poly" id="edge3_Node000001_Node000004" title=" " alt="" coords="221,148,178,199,174,196,217,145"/>
<area shape="rect" id="Node000005" title=" " alt="" coords="188,5,312,46"/>
<area shape="poly" id="edge4_Node000004_Node000005" title=" " alt="" coords="249,62,243,109,238,109,243,61"/>
</map>
