<map id="spot::twa_reachable_iterator_breadth_first" name="spot::twa_reachable_iterator_breadth_first">
<area shape="rect" id="node2" href="$classspot_1_1twa__reachable__iterator.html" title="Iterate over all reachable states of a spot::tgba. " alt="" coords="5,5,187,273"/>
</map>
