<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy">
<area shape="rect" id="Node000000" href="$a07742.html" title=" " alt="" coords="5,5,202,92"/>
<area shape="rect" id="Node000001" href="$a07918.html" title="One of the negation functors." alt="" coords="250,24,387,73"/>
<area shape="poly" id="edge470_Node000000_Node000001" title=" " alt="" coords="217,46,252,48,247,49,218,51"/>
</map>
