<map id="spot::twa" name="spot::twa">
<area shape="rect" id="node3" title="Helper structure used to store property flags. " alt="" coords="162,49,295,215"/>
<area shape="rect" id="node4" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="320,5,479,259"/>
</map>
