<map id="spot::kripke_succ_iterator" name="spot::kripke_succ_iterator">
<area shape="rect" id="node3" 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="5,491,204,685"/>
<area shape="rect" id="node2" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="25,5,184,259"/>
</map>
