<map id="src/robot.impl.hh" name="src/robot.impl.hh">
<area shape="rect" id="node1" title=" " alt="" coords="11,5,143,32"/>
<area shape="rect" id="node2" href="$basic-server_8hh.html" title=" " alt="" coords="5,80,149,107"/>
</map>
