<map id="spot::ta_succ_iterator" name="spot::ta_succ_iterator">
<area shape="rect" id="node3" href="$classspot_1_1ta__explicit__succ__iterator.html" title="Successor iterators used by spot::ta_explicit. " alt="" coords="5,571,188,766"/>
<area shape="rect" id="node4" href="$classspot_1_1ta__succ__iterator__product.html" title="Iterate over the successors of a product computed on the fly. " alt="" coords="212,432,405,905"/>
<area shape="rect" id="node2" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="123,5,281,259"/>
<area shape="rect" id="node5" 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="220,953,397,1075"/>
</map>
