<map id="spot::taa_tgba" name="spot::taa_tgba">
<area shape="rect" id="node4" 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="117,811,313,1049"/>
<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,1112,201,1351"/>
<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="239,1112,435,1351"/>
<area shape="rect" id="node2" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="128,147,303,547"/>
<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,1400,175,1507"/>
<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="259,1400,414,1507"/>
</map>
