<map id="src/theory/theoryof_mode.h" name="src/theory/theoryof_mode.h">
<area shape="rect" id="Node000001" title="Option selection for theoryOf() operation." alt="" coords="5,5,134,46"/>
<area shape="rect" id="Node000002" href="$cvc4__public_8h.html" title="Macros that should be defined everywhere during the building of the libraries and driver binary,..." alt="" coords="19,94,120,120"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="72,46,72,78,67,78,67,46"/>
<area shape="rect" id="Node000003" title=" " alt="" coords="38,168,101,193"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="72,120,72,152,67,152,67,120"/>
</map>
