<map id="spot::random_boolean" name="spot::random_boolean">
<area shape="rect" id="node2" href="$classspot_1_1random__formula.html" title="Base class for random formula generators. " alt="" coords="7,5,155,273"/>
</map>
