<map id="src/include/cvc4_public.h" name="src/include/cvc4_public.h">
<area shape="rect" id="Node000001" title="Macros that should be defined everywhere during the building of the libraries and driver binary,..." alt="" coords="5,5,173,31"/>
<area shape="rect" id="Node000002" title=" " alt="" coords="57,79,121,105"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="92,31,92,63,86,63,86,31"/>
</map>
