<map id="DisconnectFromRobot" name="DisconnectFromRobot">
<area shape="rect" id="node2" href="$class_u_r3_workspace.html#a5a4be9cf4e857b946b40961bbe978ce6" title="UR3Workspace::~UR3Workspace" alt="" coords="207,5,431,32"/>
</map>
