<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy">
<area shape="rect" id="Node000000" href="$a07755.html" title=" " alt="" coords="5,5,171,73"/>
<area shape="rect" id="Node000001" href="$a07931.html" title="One of the negation functors." alt="" coords="219,15,361,64"/>
<area shape="poly" id="edge706_Node000000_Node000001" title=" " alt="" coords="186,36,218,36,218,42,186,42"/>
</map>
