<map id="spot::ta_succ_iterator_product_by_changeset" name="spot::ta_succ_iterator_product_by_changeset">
<area shape="rect" id="node2" href="$classspot_1_1ta__succ__iterator__product.html" title="Iterate over the successors of a product computed on the fly. " alt="" coords="5,432,199,905"/>
<area shape="rect" id="node3" href="$classspot_1_1ta__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="28,307,176,384"/>
<area shape="rect" id="node4" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="23,5,181,259"/>
</map>
