<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy">
<area shape="rect" id="node2" href="$structspot_1_1bdd__hash.html" title="Hash functor for BDDs. " alt="" coords="187,5,297,32"/>
<area shape="rect" id="node3" href="$structspot_1_1identity__hash.html" title="A hash function that returns identity. " alt="" coords="160,56,324,83"/>
<area shape="rect" id="node4" href="$structspot_1_1ptr__hash.html" title="A hash function for pointers. " alt="" coords="173,107,311,133"/>
</map>
