<map id="G" name="G">
<area shape="rect" id="node1" href="$class_cgl_tree_info.html" title="Information about where the cut generator is invoked from." alt="" coords="7,5,103,35"/>
<area shape="rect" id="node3" href="$class_cgl_tree_probing_info.html" title="CglTreeProbingInfo" alt="" coords="152,5,299,35"/>
</map>
