<map id="spot::tgta_succ_iterator_product" name="spot::tgta_succ_iterator_product">
<area shape="rect" id="node2" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="13,5,171,259"/>
</map>
