<map id="CVC4::UnrecognizedOptionException" name="CVC4::UnrecognizedOptionException">
<area shape="rect" id="Node000001" title="Class representing an exception in option processing due to an unrecognized or unsupported option key..." alt="" coords="5,334,184,375"/>
<area shape="rect" id="Node000002" href="$classCVC4_1_1OptionException.html" title="Class representing an option&#45;parsing exception such as badly&#45;typed or missing arguments,..." alt="" coords="17,259,172,285"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="97,300,97,334,92,334,92,300"/>
<area shape="rect" id="Node000003" href="$classCVC4_1_1Exception.html" title=" " alt="" coords="36,184,153,210"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="97,225,97,259,92,259,92,225"/>
<area shape="rect" id="Node000004" title=" " alt="" coords="23,95,123,121"/>
<area shape="poly" id="edge3_Node000003_Node000004" title=" " alt="" coords="82,136,94,183,89,184,77,137"/>
<area shape="rect" id="Node000005" title=" " alt="" coords="148,95,225,121"/>
<area shape="poly" id="edge4_Node000003_Node000005" title=" " alt="" coords="164,134,109,186,105,182,161,130"/>
<area shape="rect" id="Node000006" title=" " alt="" coords="125,5,248,46"/>
<area shape="poly" id="edge5_Node000005_Node000006" title=" " alt="" coords="189,61,189,95,184,95,184,61"/>
</map>
