X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fsokoban.c;h=e302670ca7b8ea6ef88db6a62d207dfc488f22e5;hb=3fc66581b10fbfc3f9abeba0ffc6fa8d0a099b24;hp=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hpb=f73ed5bf4ad9769bcf39e00d6896ae8e7085126a;p=mc1516pa.git

diff --git a/modelchecker/sokoban.c b/modelchecker/sokoban.c
index e69de29..e302670 100644
--- 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;
+}