<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy">
<area shape="rect" id="node1" href="$structspot_1_1internal_1_1succ__iterator.html" title="Helper structure to iterate over the successor of a state using the on&#45;the&#45;fly interface. " alt="" coords="5,5,139,47"/>
</map>
