<map id="spot::taa_tgba_labelled&lt; label &gt;" name="spot::taa_tgba_labelled&lt; label &gt;">
<area shape="rect" id="node5" 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="5,1127,201,1365"/>
<area shape="rect" id="node7" 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="225,1127,421,1365"/>
<area shape="rect" id="node2" 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="126,611,249,776"/>
<area shape="rect" id="node3" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="100,147,275,561"/>
<area shape="rect" id="node6" href="$classspot_1_1taa__tgba__string.html" title="{spot::taa_tgba_string\n||+ taa_tgba_string()\l+ ~taa_tgba_string()\l# label_to_string()\l}" alt="" coords="31,1415,175,1521"/>
<area shape="rect" id="node8" href="$classspot_1_1taa__tgba__formula.html" title="{spot::taa_tgba_formula\n||+ taa_tgba_formula()\l+ ~taa_tgba_formula()\l# label_to_string()\l}" alt="" coords="246,1415,401,1521"/>
</map>
