<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy">
<area shape="rect" id="node1" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="5,147,164,174"/>
<area shape="rect" id="node2" href="$classspot_1_1fair__kripke__succ__iterator.html" title="Iterator code for a Fair Kripke structure. " alt="" coords="223,5,373,47"/>
<area shape="rect" id="node3" href="$classspot_1_1kripke__succ__iterator.html" title="Iterator code for Kripke structure. " alt="" coords="212,71,384,98"/>
<area shape="rect" id="node5" href="$classspot_1_1ta__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="224,122,372,149"/>
<area shape="rect" id="node9" href="$classspot_1_1taa__succ__iterator.html" title="spot::taa_succ_iterator" alt="" coords="221,173,375,199"/>
<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="219,224,377,265"/>
<area shape="rect" id="node11" href="$classspot_1_1twa__graph__succ__iterator.html" title="spot::twa_graph_succ\l_iterator\&lt; Graph \&gt;" alt="" coords="223,289,373,331"/>
<area shape="rect" id="node4" href="$classspot_1_1kripke__graph__succ__iterator.html" title="spot::kripke_graph\l_succ_iterator\&lt; Graph \&gt;" alt="" coords="432,49,595,91"/>
<area shape="rect" id="node6" href="$classspot_1_1ta__explicit__succ__iterator.html" title="Successor iterators used by spot::ta_explicit. " alt="" coords="439,115,588,156"/>
<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="439,180,587,221"/>
<area shape="rect" id="node8" href="$classspot_1_1ta__succ__iterator__product__by__changeset.html" title="spot::ta_succ_iterator\l_product_by_changeset" alt="" coords="643,180,803,221"/>
</map>
