<map id="spot::ta" name="spot::ta">
<area shape="rect" id="node2" href="$classspot_1_1ta__explicit.html" title="{spot::ta_explicit\n||+ ta_explicit()\l+ get_tgba()\l+ add_state()\l+ add_to_initial_states_set()\l+ create_transition()\l+ delete_stuttering_transitions()\l+ ~ta_explicit()\l+ get_initial_states_set()\l+ succ_iter()\l+ succ_iter()\land 11 more...\l}" alt="" coords="5,424,211,648"/>
<area shape="rect" id="node3" href="$classspot_1_1ta__product.html" title="A lazy product between a Testing automaton and a Kripke structure. (States are computed on the fly..." alt="" coords="235,380,400,692"/>
</map>
