<map id="spot::ta_check" name="spot::ta_check">
<area shape="rect" id="node2" href="$classspot_1_1ec__statistics.html" title="Emptiness&#45;check statistics. " alt="" coords="24,147,153,356"/>
<area shape="rect" id="node3" href="$structspot_1_1unsigned__statistics.html" title="{spot::unsigned_statistics\n|+ stats\l|+ ~unsigned_statistics()\l+ get()\l}" alt="" coords="5,5,172,97"/>
<area shape="rect" id="node4" href="$classspot_1_1scc__stack__ta.html" title="{spot::scc_stack_ta\n|+ s\l|+ push()\l+ top()\l+ top()\l+ pop()\l+ size()\l+ rem()\l+ empty()\l}" alt="" coords="178,169,311,334"/>
<area shape="rect" id="node5" href="$classspot_1_1option__map.html" title="Manage a map of options. " alt="" coords="335,154,509,349"/>
</map>
