<map id="spot::tgta_explicit" name="spot::tgta_explicit">
<area shape="rect" id="node2" href="$classspot_1_1tgta.html" title="A Transition&#45;based Generalized Testing Automaton (TGTA). " alt="" coords="5,608,188,715"/>
<area shape="rect" id="node3" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="9,145,184,560"/>
</map>
