<map id="CVC4::OptionException" name="CVC4::OptionException">
<area shape="rect" id="Node000001" title="Class representing an option&#45;parsing exception such as badly&#45;typed or missing arguments,..." alt="" coords="5,259,161,285"/>
<area shape="rect" id="Node000002" href="$classCVC4_1_1Exception.html" title=" " alt="" coords="24,184,142,210"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="86,225,86,259,80,259,80,225"/>
<area shape="rect" id="Node000003" title=" " alt="" coords="12,95,112,121"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="71,136,83,183,77,184,66,137"/>
<area shape="rect" id="Node000004" title=" " alt="" coords="136,95,214,121"/>
<area shape="poly" id="edge3_Node000002_Node000004" title=" " alt="" coords="153,134,98,186,94,182,149,130"/>
<area shape="rect" id="Node000005" title=" " alt="" coords="113,5,237,46"/>
<area shape="poly" id="edge4_Node000004_Node000005" title=" " alt="" coords="178,61,178,95,172,95,172,61"/>
</map>
