<map id="spot::tgta" name="spot::tgta">
<area shape="rect" id="node4" 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="5,763,188,928"/>
<area shape="rect" id="node2" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="9,145,184,560"/>
</map>
