getRobotRadius

public final Double getRobotRadius()

The radius used by drawRobot.