<map id="CVC4::DatatypeResolutionException" name="CVC4::DatatypeResolutionException">
<area shape="rect" id="Node000001" title="An exception that is thrown when a datatype resolution fails." alt="" coords="5,259,179,300"/>
<area shape="rect" id="Node000002" href="$classCVC4_1_1Exception.html" title=" " alt="" coords="33,184,151,210"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="95,225,95,259,89,259,89,225"/>
<area shape="rect" id="Node000003" title=" " alt="" coords="21,95,121,121"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="80,136,92,183,86,184,75,137"/>
<area shape="rect" id="Node000004" title=" " alt="" coords="145,95,223,121"/>
<area shape="poly" id="edge3_Node000002_Node000004" title=" " alt="" coords="162,134,107,186,103,182,158,130"/>
<area shape="rect" id="Node000005" title=" " alt="" coords="122,5,246,46"/>
<area shape="poly" id="edge4_Node000004_Node000005" title=" " alt="" coords="187,61,187,95,181,95,181,61"/>
</map>
