<map id="src/bindings/compat/c/c_interface_defs.h" name="src/bindings/compat/c/c_interface_defs.h">
<area shape="rect" id="Node000001" title=" " alt="" coords="5,5,148,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="26,94,127,120"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="79,46,79,78,74,78,74,46"/>
<area shape="rect" id="Node000003" title=" " alt="" coords="45,168,108,193"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="79,120,79,152,74,152,74,120"/>
</map>
