/* trigger message to ask for restarting the game */
char *restart_game_message;
+ /* values for special request dialog control */
+ boolean request_active;
+
/* values for special game control */
int centered_player_nr;
int centered_player_nr_next;
void RequestQuitGame(boolean);
void RequestRestartGame(char *);
+boolean checkGameSolved(void);
+boolean checkGameFailed(void);
+boolean checkGameEnded(void);
+
unsigned int InitEngineRandom_RND(int);
unsigned int RND(int);