<map id="src/parser/parser.h" name="src/parser/parser.h">
<area shape="rect" id="Node000001" title="A collection of state for use by parser implementations." alt="" coords="30,5,159,31"/>
<area shape="rect" id="Node000002" href="$cvc3__compat_8h.html" title="CVC3 compatibility layer for CVC4." alt="" coords="5,79,184,105"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="97,46,97,79,92,79,92,46"/>
</map>
