<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy">
<area shape="rect" id="Node000000" href="$a07760.html" title=" " alt="" coords="5,5,171,73"/>
<area shape="rect" id="Node000001" href="$a07936.html" title="One of the negation functors." alt="" coords="219,15,361,64"/>
<area shape="poly" id="edge712_Node000000_Node000001" title=" " alt="" coords="186,37,221,39,216,39,186,42"/>
</map>
