<map id="CVC4::QueryCommand" name="CVC4::QueryCommand">
<area shape="rect" id="Node000001" title=" " alt="" coords="107,183,262,208"/>
<area shape="rect" id="Node000002" href="$classCVC4_1_1Command.html" title=" " alt="" coords="24,94,145,120"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="112,128,172,180,169,184,108,132"/>
<area shape="rect" id="Node000003" href="$classCVC4_1_1CommandStatus.html" title=" " alt="" coords="5,5,164,31"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="87,47,87,94,82,94,82,47"/>
<area shape="rect" id="Node000004" href="$classCVC4_1_1Result.html" title="Three&#45;valued SMT result, with optional explanation." alt="" coords="169,94,267,120"/>
<area shape="poly" id="edge3_Node000001_Node000004" title=" " alt="" coords="210,135,192,183,187,181,205,133"/>
</map>
