<map id="spot::ta_explicit" name="spot::ta_explicit">
<area shape="rect" id="node2" href="$classspot_1_1ta.html" title="A Testing Automaton. " alt="" coords="25,1043,191,1355"/>
<area shape="rect" id="node3" 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="23,580,193,980"/>
<area shape="rect" id="node4" 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="21,132,195,517"/>
</map>
