<map id="spot::twa_succ_iterator" name="spot::twa_succ_iterator">
<area shape="rect" id="node2" href="$classspot_1_1fair__kripke__succ__iterator.html" title="Iterator code for a Fair Kripke structure. " alt="" coords="5,453,197,604"/>
<area shape="rect" id="node3" href="$classspot_1_1kripke__succ__iterator.html" title="Iterator code for Kripke structure. " alt="" coords="222,461,394,597"/>
<area shape="rect" id="node5" href="$classspot_1_1ta__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="418,490,566,567"/>
<area shape="rect" id="node9" href="$classspot_1_1taa__succ__iterator.html" title="{spot::taa_succ_iterator\n||+ taa_succ_iterator()\l+ ~taa_succ_iterator()\l+ first()\l+ next()\l+ done()\l+ dst()\l+ cond()\l+ acc()\l}" alt="" coords="591,439,745,619"/>
<area shape="rect" id="node10" href="$classspot_1_1tgta__succ__iterator__product.html" title="Iterate over the successors of a product computed on the fly. " alt="" coords="769,307,943,751"/>
<area shape="rect" id="node11" href="$classspot_1_1twa__graph__succ__iterator.html" title="{spot::twa_graph_succ\l_iterator\&lt; Graph \&gt;\n||+ twa_graph_succ_iterator()\l+ recycle()\l+ first()\l+ next()\l+ done()\l+ dst()\l+ cond()\l+ acc()\l+ pos()\l}" alt="" coords="967,424,1151,633"/>
<area shape="rect" id="node4" href="$classspot_1_1kripke__graph__succ__iterator.html" title="{spot::kripke_graph\l_succ_iterator\&lt; Graph \&gt;\n||+ kripke_graph_succ_iterator()\l+ ~kripke_graph_succ\l_iterator()\l+ recycle()\l+ first()\l+ next()\l+ done()\l+ dst()\l}" alt="" coords="178,938,377,1133"/>
<area shape="rect" id="node6" href="$classspot_1_1ta__explicit__succ__iterator.html" title="Successor iterators used by spot::ta_explicit. " alt="" coords="401,938,583,1133"/>
<area shape="rect" id="node7" href="$classspot_1_1ta__succ__iterator__product.html" title="Iterate over the successors of a product computed on the fly. " alt="" coords="607,799,801,1272"/>
<area shape="rect" id="node8" 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="615,1320,793,1441"/>
</map>
