<map id="spot::kripke_graph_succ_iterator&lt; Graph &gt;" name="spot::kripke_graph_succ_iterator&lt; Graph &gt;">
<area shape="rect" id="node2" href="$classspot_1_1kripke__succ__iterator.html" title="Iterator code for Kripke structure. " alt="" coords="19,307,191,443"/>
<area shape="rect" id="node3" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="25,5,184,259"/>
</map>
