<map id="spot::ta_succ_iterator_product" name="spot::ta_succ_iterator_product">
<area shape="rect" id="node2" href="$classspot_1_1ta__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="50,1349,198,1427"/>
<area shape="rect" id="node3" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="64,5,223,259"/>
<area shape="rect" id="node11" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="226,321,400,707"/>
<area shape="rect" id="node4" href="$classspot_1_1state.html" title="Abstract class for states. " alt="" coords="479,901,571,1037"/>
<area shape="rect" id="node14" href="$classspot_1_1state__ta__product.html" title="A state for spot::ta_product. " alt="" coords="601,1298,753,1478"/>
<area shape="rect" id="node5" href="$classspot_1_1ta.html" title="A Testing Automaton. " alt="" coords="777,1232,942,1544"/>
<area shape="rect" id="node6" href="$classspot_1_1acc__cond.html" title="{spot::acc_cond\n|# num_\l# all_\l# uses_fin_acceptance_\l|+ acc_cond()\l+ acc_cond()\l+ acc_cond()\l+ operator=()\l+ ~acc_cond()\l+ set_acceptance()\l+ get_acceptance()\l+ get_acceptance()\l+ uses_fin_acceptance()\l+ is_t()\land 26 more...\l+ inf()\l+ inf()\l+ inf_neg()\l+ inf_neg()\l+ fin()\l+ fin()\l+ fin_neg()\l+ fin_neg()\l# check_fin_acceptance()\l# all_sets_()\l}" alt="" coords="774,769,945,1169"/>
<area shape="rect" id="node7" href="$structspot_1_1acc__cond_1_1acc__code.html" title="{spot::acc_cond::acc_code\n||+ operator==()\l+ operator\&lt;()\l+ operator\&gt;()\l+ operator\&lt;=()\l+ operator\&gt;=()\l+ operator!=()\l+ is_t()\l+ is_f()\l+ operator&amp;=()\l+ operator&amp;=()\land 23 more...\l+ f()\l+ t()\l+ fin()\l+ fin()\l+ fin_neg()\l+ fin_neg()\l+ inf()\l+ inf()\l+ inf_neg()\l+ inf_neg()\land 9 more...\l}" alt="" coords="772,321,947,707"/>
<area shape="rect" id="node9" href="$classspot_1_1kripke.html" title="Interface for a Kripke structure. " alt="" coords="222,1335,404,1441"/>
<area shape="rect" id="node10" href="$classspot_1_1fair__kripke.html" title="Interface for a Fair Kripke structure. " alt="" coords="222,916,404,1023"/>
<area shape="rect" id="node13" title="Helper structure used to store property flags. " alt="" coords="403,35,546,229"/>
<area shape="rect" id="node15" 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="967,1276,1126,1500"/>
</map>
