<map id="G" name="G">
<area shape="rect" id="node3" href="$a00565_source.html" title="is_useless.hxx" alt="" coords="5,83,117,112"/>
<area shape="rect" id="node6" href="$a00759_source.html" title="standard_algorithms.hh" alt="" coords="141,83,315,112"/>
</map>
