<map id="spot::emptiness_check_result" name="spot::emptiness_check_result">
<area shape="rect" id="node2" href="$classspot_1_1option__map.html" title="Manage a map of options. " alt="" coords="14,5,187,200"/>
</map>
