<map id="CVC4::DefineNamedFunctionCommand" name="CVC4::DefineNamedFunctionCommand">
<area shape="rect" id="Node000001" title="This differs from DefineFunctionCommand only in that it instructs the SmtEngine to &quot;remember&quot; this fu..." alt="" coords="179,376,369,417"/>
<area shape="rect" id="Node000002" href="$classCVC4_1_1DefineFunctionCommand.html" title=" " alt="" coords="171,301,377,327"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="277,343,277,376,271,376,271,343"/>
<area shape="rect" id="Node000003" href="$classCVC4_1_1DeclarationDefinitionCommand.html" title=" " alt="" coords="95,198,274,238"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="215,248,265,299,261,303,212,251"/>
<area shape="rect" id="Node000004" href="$classCVC4_1_1Command.html" title=" " alt="" coords="46,109,166,135"/>
<area shape="poly" id="edge3_Node000003_Node000004" title=" " alt="" coords="127,145,170,195,166,199,123,148"/>
<area shape="rect" id="Node000005" href="$classCVC4_1_1CommandStatus.html" title=" " alt="" coords="5,13,164,39"/>
<area shape="poly" id="edge4_Node000004_Node000005" title=" " alt="" coords="93,53,106,108,100,109,88,54"/>
<area shape="rect" id="Node000006" title=" " alt="" coords="201,109,278,135"/>
<area shape="poly" id="edge5_Node000003_Node000006" title=" " alt="" coords="227,150,198,198,194,196,222,147"/>
<area shape="rect" id="Node000007" title=" " alt="" coords="188,5,312,46"/>
<area shape="poly" id="edge6_Node000006_Node000007" title=" " alt="" coords="249,62,243,109,238,109,243,61"/>
<area shape="rect" id="Node000008" title=" " alt="" coords="298,198,431,238"/>
<area shape="poly" id="edge7_Node000002_Node000008" title=" " alt="" coords="337,251,287,303,283,299,333,248"/>
<area shape="rect" id="Node000009" href="$classCVC4_1_1Expr.html" title="Class encapsulating CVC4 expressions and methods for constructing new expressions." alt="" coords="315,109,401,135"/>
<area shape="poly" id="edge8_Node000008_Node000009" title=" " alt="" coords="362,150,366,197,360,197,357,150"/>
<area shape="rect" id="Node000010" title=" " alt="" coords="425,109,536,135"/>
<area shape="poly" id="edge9_Node000008_Node000010" title=" " alt="" coords="458,147,425,176,394,199,391,195,421,172,455,143"/>
<area shape="rect" id="Node000011" title=" " alt="" coords="461,13,500,39"/>
<area shape="poly" id="edge10_Node000010_Node000011" title=" " alt="" coords="483,54,483,108,478,108,478,54"/>
</map>
