<map id="spot::ta_explicit_succ_iterator" name="spot::ta_explicit_succ_iterator">
<area shape="rect" id="node2" href="$classspot_1_1ta__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="23,307,171,384"/>
<area shape="rect" id="node3" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="17,5,176,259"/>
</map>
