<map id="src/hpp/pinocchio_idl/robots&#45;idl.hh" name="src/hpp/pinocchio_idl/robots&#45;idl.hh">
<area shape="rect" id="node1" title=" " alt="" coords="5,5,164,47"/>
<area shape="rect" id="node2" title=" " alt="" coords="8,169,161,196"/>
<area shape="rect" id="node3" href="$common-idl_8hh.html" title=" " alt="" coords="67,95,215,121"/>
</map>
