modelchecker/sokoban.h

   1 #ifndef SOKOBAN_H
   2 #define SOKOBAN_H
   3
   4 typedef enum {FREE, WALL, BOX, TARGET, AGENT, TARGAGENT, TARGBOX} sokoban_tile;
   5
   6 struct sokoban_screen {
   7         int x;
   8         int y;
   9         sokoban_tile tile;
  10         sokoban_screen *next;
  11 };
  12
  13 sokoban_screen *parse(FILE *stream);
  14
  15 #endif