<map id="src/lib/clock_gettime.h" name="src/lib/clock_gettime.h">
<area shape="rect" id="Node000001" title="Replacement for clock_gettime() for systems without it (like Mac OS X)" alt="" coords="117,5,269,31"/>
<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="5,79,106,105"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="171,34,94,74,91,69,168,29"/>
<area shape="rect" id="Node000004" title=" " alt="" coords="130,79,256,105"/>
<area shape="poly" id="edge3_Node000001_Node000004" title=" " alt="" coords="196,31,196,63,190,63,190,31"/>
<area shape="rect" id="Node000005" title=" " alt="" coords="281,79,337,105"/>
<area shape="poly" id="edge4_Node000001_Node000005" title=" " alt="" coords="214,29,278,68,275,73,211,34"/>
<area shape="rect" id="Node000003" title=" " alt="" coords="24,153,87,178"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="58,105,58,137,53,137,53,105"/>
</map>
