<map id="CVC4::DeclarationDefinitionCommand" name="CVC4::DeclarationDefinitionCommand">
<area shape="rect" id="Node000001" title=" " alt="" coords="174,73,353,113"/>
<area shape="rect" id="Node000003" href="$classCVC4_1_1DeclareFunctionCommand.html" title=" " alt="" coords="401,5,615,31"/>
<area shape="poly" id="edge2_Node000001_Node000003" title=" " alt="" coords="329,64,400,40,441,29,442,34,402,45,331,69"/>
<area shape="rect" id="Node000004" href="$classCVC4_1_1DeclareTypeCommand.html" title=" " alt="" coords="412,55,604,80"/>
<area shape="poly" id="edge3_Node000001_Node000004" title=" " alt="" coords="368,79,411,75,412,80,369,85"/>
<area shape="rect" id="Node000005" href="$classCVC4_1_1DefineFunctionCommand.html" title=" " alt="" coords="405,104,611,130"/>
<area shape="poly" id="edge4_Node000001_Node000005" title=" " alt="" coords="369,100,405,104,404,109,368,106"/>
<area shape="rect" id="Node000007" href="$classCVC4_1_1DefineTypeCommand.html" title=" " alt="" coords="416,153,600,179"/>
<area shape="poly" id="edge6_Node000001_Node000007" title=" " alt="" coords="332,116,402,140,442,150,441,155,400,145,330,121"/>
<area shape="rect" id="Node000002" href="$classCVC4_1_1Command.html" title=" " alt="" coords="5,80,126,106"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="141,90,173,90,173,96,141,96"/>
<area shape="rect" id="Node000006" href="$classCVC4_1_1DefineNamedFunctionCommand.html" title="This differs from DefineFunctionCommand only in that it instructs the SmtEngine to &quot;remember&quot; this fu..." alt="" coords="663,97,853,137"/>
<area shape="poly" id="edge5_Node000005_Node000006" title=" " alt="" coords="627,114,663,114,663,120,627,120"/>
</map>
