<map id="spot::twa_reachable_iterator_depth_first::stack_item" name="spot::twa_reachable_iterator_depth_first::stack_item">
<area shape="rect" id="node2" href="$classspot_1_1state.html" title="Abstract class for states. " alt="" coords="5,64,97,200"/>
<area shape="rect" id="node3" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="121,5,280,259"/>
</map>
