<map id="G" name="G">
<area shape="rect" id="node2" href="$class_osi_cuts.html" title="Collections of row cuts and column cuts." alt="" coords="5,5,80,35"/>
<area shape="rect" id="node4" href="$class_osi_cut.html" title="OsiCut" alt="" coords="104,5,171,35"/>
</map>
