// @ requires !initialized;
// @ ensures position()[0] == the_position[0];
// @ ensures position()[1] == the_position[1];
// @ ensures orientation() == the_orientation;
// @ ensures initialized;
public void set_state(final double[] the_pos, final double the_ori) {
super.set_state(the_pos, the_ori);
my_initialized = true;
}
