-- Automatic generation produced by ISE Eiffel --

class
     GAME

General
     cluster: root_cluster
     create: make

Ancestors
     GAME_CONSTANTS

Queries
     card_from_home_cell (cell_number: INTEGER): INTEGER
     card_from_top_of_column (column_number: INTEGER): INTEGER
     card_from_xcell (cell_number: INTEGER): INTEGER
     card_in_xcell (a_card: CARD; a_xcell: INTEGER): BOOLEAN
     Card_offset: INTEGER
     column_empty (column_number: INTEGER): BOOLEAN
     column_from (column_number: INTEGER): LINKED_LIST [INTEGER]
     Column_offset: INTEGER
     columns: ARRAY [COLUMN [INTEGER]]
     First_card: INTEGER
     goal_state: BOOLEAN
     home_cell_empty (cell_number: INTEGER): BOOLEAN
     Home_cell_offset: INTEGER
     legal_candidate: BOOLEAN
     Maximum_game_number: INTEGER
     Maximum_number_of_cards: INTEGER
     Most_left_x_position: INTEGER
     Most_top_y_position: INTEGER
     Number_of_cells: INTEGER
     Number_of_columns: INTEGER
     one_from_top_in_column (a_column: INTEGER): INTEGER
     Space_between_cards: INTEGER
     Space_between_columns: INTEGER
     Start_of_column_y_position: INTEGER
     state_change: INTEGER
     the_cards: ARRAY [CARD]
     top_of_column (a_card: CARD; a_column: INTEGER): BOOLEAN
     White_offset: INTEGER
     xcell_empty (cell_number: INTEGER): BOOLEAN
     Xcell_offset: INTEGER

Commands
     change_state
     deal_game
     remove_top_from_column (column_number: INTEGER)
     set_go_from (move_from: INTEGER)
     set_go_to (to: INTEGER)
     shuffle_the_cards (game_number: INTEGER)

-- Generated by ISE Eiffel --

-- For more details: www.eiffel.com --