<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy">
<area shape="rect" id="node2" href="$structspot_1_1bdd__less__than.html" title="Comparison functor for BDDs. " alt="" coords="177,5,316,32"/>
<area shape="rect" id="node3" href="$structspot_1_1char__ptr__less__than.html" title="Strict Weak Ordering for char*. " alt="" coords="164,56,329,83"/>
</map>
