<map id="spot::twa_graph" name="spot::twa_graph">
<area shape="rect" id="node2" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="145,321,320,707"/>
<area shape="rect" id="node4" title="Helper structure used to store property flags. " alt="" coords="161,35,304,229"/>
<area shape="rect" id="node5" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="328,5,487,259"/>
</map>
