<map id="spot::tgta_succ_iterator_product" name="spot::tgta_succ_iterator_product">
<area shape="rect" id="node2" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="5,191,164,444"/>
<area shape="rect" id="node3" href="$classspot_1_1fixed__size__pool.html" title="A fixed&#45;size memory pool implementation. " alt="" coords="188,257,333,378"/>
<area shape="rect" id="node4" href="$classspot_1_1state.html" title="Abstract class for states. " alt="" coords="399,5,491,141"/>
<area shape="rect" id="node6" href="$classspot_1_1state__product.html" title="A state for spot::twa_product. " alt="" coords="532,235,667,400"/>
<area shape="rect" id="node5" href="$structspot_1_1acc__cond_1_1mark__t.html" title="{spot::acc_cond::mark_t\n|+ id\l|+ mark_t()\l+ mark_t()\l+ mark_t()\l+ mark_t()\l+ operator==()\l+ operator!=()\l+ operator==()\l+ operator!=()\l+ operator\&lt;()\l+ operator\&lt;=()\land 26 more...\l}" alt="" coords="691,205,849,429"/>
</map>
