some

[mc1516pa.git] / modelchecker / sokoban.h

diff --git a/modelchecker/sokoban.h b/modelchecker/sokoban.h
index e69de29..95dc079 100644 (file)
--- a/modelchecker/sokoban.h
+++ b/modelchecker/sokoban.h
@@ -0,0 +1,15 @@
+#ifndef SOKOBAN_H
+#define SOKOBAN_H
+
+typedef enum {FREE, WALL, BOX, TARGET, AGENT, TARGAGENT, TARGBOX} sokoban_tile;
+
+struct sokoban_screen {
+       int x;
+       int y;
+       sokoban_tile tile;
+       sokoban_screen *next;
+};
+
+sokoban_screen *parse(FILE *stream);
+
+#endif