<map id="spot::taa_tgba_string" name="spot::taa_tgba_string">
<area shape="rect" id="node2" href="$classspot_1_1taa__tgba__labelled.html" title="{spot::taa_tgba_labelled\l\&lt; std::string \&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="23,1127,219,1365"/>
<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="31,611,154,776"/>
<area shape="rect" id="node6" 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="115,825,311,1064"/>
<area shape="rect" id="node4" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="5,147,180,561"/>
</map>
