<map id="src/util/result.h" name="src/util/result.h">
<area shape="rect" id="Node000001" title="Encapsulation of the result of a query." alt="" coords="104,5,210,31"/>
<area shape="rect" id="Node000002" href="$command_8h.html" title="Implementation of the command pattern on SmtEngines." alt="" coords="5,79,144,105"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="133,44,90,81,87,77,130,39"/>
<area shape="rect" id="Node000003" href="$smt__engine_8h.html" title="SmtEngine: the main public entry point of libcvc4." alt="" coords="168,79,314,105"/>
<area shape="poly" id="edge2_Node000001_Node000003" title=" " alt="" coords="184,39,229,77,225,81,181,43"/>
<area shape="rect" id="Node000004" href="$cvc3__compat_8h.html" title="CVC3 compatibility layer for CVC4." alt="" coords="152,153,330,178"/>
<area shape="poly" id="edge3_Node000003_Node000004" title=" " alt="" coords="244,120,244,152,239,152,239,120"/>
</map>
