modelchecker/sokoban.h

   1 #ifndef SOKOBAN_H
   2 #define SOKOBAN_H
   3 #include "uthash.h"
   4
   5 typedef enum {FREE, WALL, BOX, TARGET, AGENT, TARGAGENT, TARGBOX} sokoban_tile;
   6
   7 typedef struct {
   8         int x;
   9         int y;
  10 } record_key;
  11
  12 typedef struct {
  13         record_key coord;
  14         sokoban_tile tile;
  15         UT_hash_handle hh;
  16 } sokoban_screen;
  17
  18 sokoban_screen *parse_screen(FILE *stream);
  19
  20 sokoban_screen *get_coord(int x, int y, sokoban_screen *screen);
  21
  22 void sokoban_print(sokoban_screen *screen);
  23
  24 void sokoban_free(sokoban_screen *screen);
  25
  26 #endif