<map id="spot::taa_tgba_labelled&lt; label &gt;" name="spot::taa_tgba_labelled&lt; label &gt;">
<area shape="rect" id="node2" 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="167,741,290,907"/>
<area shape="rect" id="node3" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="141,321,316,692"/>
<area shape="rect" id="node5" title="Helper structure used to store property flags. " alt="" coords="162,49,295,215"/>
<area shape="rect" id="node6" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="320,5,479,259"/>
</map>
