<map id="spot::emptiness_check" name="spot::emptiness_check">
<area shape="rect" id="node3" href="$classspot_1_1couvreur99__check.html" title="An implementation of the Couvreur99 emptiness&#45;check algorithm. " alt="" coords="10,447,205,656"/>
<area shape="rect" id="node4" href="$classspot_1_1couvreur99__check__shy.html" title="A version of spot::couvreur99_check that tries to visit known states first. " alt="" coords="13,704,202,913"/>
</map>
