improved makefile

[mc1516pa.git] / modelchecker / sokoban.c

diff --git a/modelchecker/sokoban.c b/modelchecker/sokoban.c
index e69de29..e302670 100644 (file)
--- a/modelchecker/sokoban.c
+++ b/modelchecker/sokoban.c
@@ -0,0 +1,17 @@
+#include <stdio.h>
+
+#include "sokoban.h"
+
+struct sokoban_screen *parse_screen(FILE *stream){
+       int buffer;
+       while((buffer = fgetc(stream)) != EOF){
+               printf("%c", buffer);
+       }
+       // Alex:
+       // Screen reading
+       // - Removing outside walls
+       // - Bucket fill
+       // - [tile]
+       // - tile = structure {int, int, enumtile}
+       return NULL;
+}