<map id="src/theory/logic_info.h" name="src/theory/logic_info.h">
<area shape="rect" id="Node000001" title="A class giving information about a logic (group a theory modules and configuration information)" alt="" coords="71,5,218,31"/>
<area shape="rect" id="Node000002" href="$smt_2options_8h.html" title=" " alt="" coords="5,79,127,105"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="122,43,81,81,77,77,119,40"/>
<area shape="rect" id="Node000003" href="$smt__engine_8h.html" title="SmtEngine: the main public entry point of libcvc4." alt="" coords="150,79,297,105"/>
<area shape="poly" id="edge2_Node000001_Node000003" title=" " alt="" coords="171,40,212,77,208,81,167,43"/>
<area shape="rect" id="Node000004" href="$cvc3__compat_8h.html" title="CVC3 compatibility layer for CVC4." alt="" coords="134,153,313,178"/>
<area shape="poly" id="edge3_Node000003_Node000004" title=" " alt="" coords="226,120,226,152,221,152,221,120"/>
</map>
