<map id="spot::twa_statistics" name="spot::twa_statistics">
<area shape="rect" id="node2" href="$structspot_1_1twa__sub__statistics.html" title="{spot::twa_sub_statistics\n|+ transitions\l|+ twa_sub_statistics()\l+ dump()\l}" alt="" coords="5,160,169,252"/>
</map>
