<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="17,153,172,178"/>
<area shape="rect" id="Node000004" href="$classCVC4_1_1UnrecognizedOptionException.html" title="Class representing an exception in option processing due to an unrecognized or unsupported option key..." alt="" coords="5,226,184,267"/>
<area shape="poly" id="edge3_Node000001_Node000004" title=" " alt="" coords="97,194,97,226,92,226,92,194"/>
<area shape="rect" id="Node000002" href="$classCVC4_1_1Exception.html" title=" " alt="" coords="36,79,153,105"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="97,120,97,152,92,152,92,120"/>
<area shape="rect" id="Node000003" title=" " alt="" coords="44,5,145,31"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="97,46,97,79,92,79,92,46"/>
</map>
