<map id="spot::couvreur99_check_status" name="spot::couvreur99_check_status">
<area shape="rect" id="node2" href="$classspot_1_1state.html" title="Abstract class for states. " alt="" coords="5,27,97,163"/>
<area shape="rect" id="node3" href="$classspot_1_1scc__stack.html" title="{spot::scc_stack\n|+ s\l|+ push()\l+ top()\l+ top()\l+ pop()\l+ size()\l+ rem()\l+ clear_rem()\l+ empty()\l}" alt="" coords="122,5,237,185"/>
</map>
