<map id="spot::ta_succ_iterator_product" name="spot::ta_succ_iterator_product">
<area shape="rect" id="node4" href="$classspot_1_1ta__succ__iterator__product__by__changeset.html" title="{spot::ta_succ_iterator\l_product_by_changeset\n||+ ta_succ_iterator_product\l_by_changeset()\l+ next_kripke_dest()\l}" alt="" coords="13,953,191,1075"/>
<area shape="rect" id="node2" 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="node3" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="23,5,181,259"/>
</map>
