<map id="spot::internal::twa_succ_iterable" name="spot::internal::twa_succ_iterable">
<area shape="rect" id="node2" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="5,5,164,259"/>
<area shape="rect" id="node3" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="157,321,332,692"/>
<area shape="rect" id="node5" title="Helper structure used to store property flags. " alt="" coords="345,49,478,215"/>
</map>
