indexing description: "[ Represents a state of a SQUARE_OB_CIRCLE. ]" date: "$Date$" revision: "$Revision$" class SQUARE_ON_CIRCLE_STATE create set_x_y_t feature -- Access x: REAL -- x y: REAL -- y t: REAL -- t feature -- Element change set_x_y_t (an_x, an_y, a_t: REAL) is -- Set 'x', 'y', 't' to 'an_x', 'an_y', 'a_t' do x := an_x y := an_y t := a_t end end