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