<map id="spot::emptiness_check" name="spot::emptiness_check">
<area shape="rect" id="node3" href="$classspot_1_1option__map.html" title="Manage a map of options. " alt="" coords="184,5,357,200"/>
</map>
