<map id="spot::couvreur99_check_result" name="spot::couvreur99_check_result">
<area shape="rect" id="node2" href="$classspot_1_1emptiness__check__result.html" title="The result of an emptiness check. " alt="" coords="5,329,196,539"/>
<area shape="rect" id="node3" href="$classspot_1_1acss__statistics.html" title="Accepting Cycle Search Space statistics. " alt="" coords="220,381,363,487"/>
<area shape="rect" id="node4" href="$classspot_1_1ars__statistics.html" title="Accepting Run Search statistics. " alt="" coords="208,145,375,281"/>
<area shape="rect" id="node5" href="$structspot_1_1unsigned__statistics.html" title="{spot::unsigned_statistics\n|+ stats\l|+ ~unsigned_statistics()\l+ get()\l}" alt="" coords="208,5,375,97"/>
</map>
