<map id="spot::taa_tgba_formula" name="spot::taa_tgba_formula">
<area shape="rect" id="node2" href="$classspot_1_1taa__tgba__labelled.html" title="{spot::taa_tgba_labelled\l\&lt; formula \&gt;\n|# name_state_map_\l# state_name_map_\l|+ taa_tgba_labelled()\l+ ~taa_tgba_labelled()\l+ set_init_state()\l+ set_init_state()\l+ create_transition()\l+ create_transition()\l+ add_acceptance_condition()\l+ format_state()\l+ output()\l# label_to_string()\l}" alt="" coords="163,1272,359,1511"/>
<area shape="rect" id="node3" href="$classspot_1_1taa__tgba.html" title="A self&#45;loop Transition&#45;based Alternating Automaton (TAA) which is seen as a TGBA (abstract class..." alt="" coords="171,756,294,921"/>
<area shape="rect" id="node8" href="$classspot_1_1taa__tgba__labelled.html" title="{spot::taa_tgba_labelled\l\&lt; label \&gt;\n|# name_state_map_\l# state_name_map_\l|+ taa_tgba_labelled()\l+ ~taa_tgba_labelled()\l+ set_init_state()\l+ set_init_state()\l+ create_transition()\l+ create_transition()\l+ add_acceptance_condition()\l+ format_state()\l+ output()\l# label_to_string()\l}" alt="" coords="255,971,451,1209"/>
<area shape="rect" id="node4" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="145,321,320,707"/>
<area shape="rect" id="node6" title="Helper structure used to store property flags. " alt="" coords="161,35,304,229"/>
<area shape="rect" id="node7" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="328,5,487,259"/>
</map>
