<map id="G" name="G">
<area shape="rect" id="node3" href="$class_o__oracle.html#a933bc6787c8b335ce00d86950497994e" title="Reset." alt="" coords="319,5,481,35"/>
<area shape="rect" id="node5" href="$class_o__oracle.html#a084597a4f020b5ddadc603881b596d4f" title="Return the current size of FO." alt="" coords="327,59,473,88"/>
</map>
