X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fsokoban.h;h=95dc079ad30738974a8e9e821052d3f0959b3671;hb=f73ed5bf4ad9769bcf39e00d6896ae8e7085126a;hp=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hpb=6b53be4450e3ed383740284bb2ebcacfbd861707;p=mc1516pa.git

diff --git a/modelchecker/sokoban.h b/modelchecker/sokoban.h
index e69de29..95dc079 100644
--- 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