<map id="G" name="G">
<area shape="rect" id="node1" href="$class_osi_choose_variable.html" title="This class chooses a variable to branch on." alt="" coords="7,5,151,35"/>
<area shape="rect" id="node3" href="$class_osi_choose_strong.html" title="This class chooses a variable to branch on." alt="" coords="201,5,337,35"/>
</map>
