<map id="spot::twa" name="spot::twa">
<area shape="rect" id="node3" href="$classspot_1_1fair__kripke.html" title="Interface for a Fair Kripke structure. " alt="" coords="59,669,240,776"/>
<area shape="rect" id="node6" 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="321,640,444,805"/>
<area shape="rect" id="node12" href="$classspot_1_1tgta.html" title="A Transition&#45;based Generalized Testing Automaton (TGTA). " alt="" coords="469,669,651,776"/>
<area shape="rect" id="node14" href="$classspot_1_1twa__graph.html" title="{spot::twa_graph\n||}" alt="" coords="676,684,791,761"/>
<area shape="rect" id="node15" href="$classspot_1_1twa__product.html" title="A lazy product. (States are computed on the fly.) " alt="" coords="815,611,942,835"/>
<area shape="rect" id="node4" href="$classspot_1_1kripke.html" title="Interface for a Kripke structure. " alt="" coords="13,950,195,1057"/>
<area shape="rect" id="node5" href="$classspot_1_1kripke__graph.html" title="Kripke Structure. " alt="" coords="5,1185,176,1424"/>
<area shape="rect" id="node7" 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="285,884,481,1123"/>
<area shape="rect" id="node8" 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="421,1185,617,1424"/>
<area shape="rect" id="node10" 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="201,1185,397,1424"/>
<area shape="rect" id="node9" 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="447,1473,591,1580"/>
<area shape="rect" id="node11" 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="221,1473,376,1580"/>
<area shape="rect" id="node13" href="$classspot_1_1tgta__explicit.html" title="{spot::tgta_explicit\n|# ta_\l|+ tgta_explicit()\l+ get_init_state()\l+ succ_iter()\l+ get_ta()\l+ get_ta()\l+ format_state()\l+ succ_iter_by_changeset()\l}" alt="" coords="557,921,739,1086"/>
<area shape="rect" id="node16" href="$classspot_1_1tgta__product.html" title="A lazy product. (States are computed on the fly.) " alt="" coords="958,950,1085,1057"/>
<area shape="rect" id="node17" href="$classspot_1_1twa__product__init.html" title="A lazy product with different initial states. " alt="" coords="783,950,934,1057"/>
</map>
