<map id="src/bindings/compat/c/c_interface.h" name="src/bindings/compat/c/c_interface.h">
<area shape="rect" id="Node000001" title=" " alt="" coords="5,5,144,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="24,183,125,208"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="67,47,49,95,46,114,49,134,62,168,57,170,44,135,41,114,44,93,62,45"/>
<area shape="rect" id="Node000004" href="$c__interface__defs_8h.html" title=" " alt="" coords="59,94,197,135"/>
<area shape="poly" id="edge3_Node000001_Node000004" title=" " alt="" coords="89,45,110,79,106,82,84,48"/>
<area shape="rect" id="Node000003" title=" " alt="" coords="43,256,106,282"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="77,209,77,241,72,241,72,209"/>
<area shape="poly" id="edge4_Node000004_Node000002" title=" " alt="" coords="117,137,93,171,89,168,112,134"/>
</map>
