<map id="src/parser/parser_exception.h" name="src/parser/parser_exception.h">
<area shape="rect" id="Node000001" title="Exception class for parse errors." alt="" coords="48,5,240,31"/>
<area shape="rect" id="Node000002" href="$input_8h.html" title="Base for parser inputs." alt="" coords="133,79,254,105"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="163,42,187,77,183,80,159,45"/>
<area shape="rect" id="Node000003" href="$parser_8h.html" title="A collection of state for use by parser implementations." alt="" coords="30,153,159,178"/>
<area shape="poly" id="edge5_Node000001_Node000003" title=" " alt="" coords="135,46,122,80,100,153,95,152,117,78,130,44"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="166,116,113,154,109,150,163,112"/>
<area shape="rect" id="Node000005" href="$parser__builder_8h.html" title="A builder for parsers." alt="" coords="183,153,358,178"/>
<area shape="poly" id="edge4_Node000002_Node000005" title=" " alt="" coords="219,114,259,150,256,154,216,117"/>
<area shape="rect" id="Node000004" href="$cvc3__compat_8h.html" title="CVC3 compatibility layer for CVC4." alt="" coords="5,226,184,252"/>
<area shape="poly" id="edge3_Node000003_Node000004" title=" " alt="" coords="97,194,97,226,92,226,92,194"/>
</map>
