X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=modelchecker%2Fsokoban.c;h=9d42dafe2797f1cc36f0e3c57b28ff3d47dee5f9;hb=ac779b7b55a13e62238b69eb14ae036b831ee20d;hp=1abda09b64a5dc24685cfe8b0f4f11ee32778145;hpb=bfe9ddb4ffe22c1d8bdd16c39905b226cf122dd9;p=mc1516pa.git

diff --git a/modelchecker/sokoban.c b/modelchecker/sokoban.c
index 1abda09..9d42daf 100644
--- a/modelchecker/sokoban.c
+++ b/modelchecker/sokoban.c
@@ -1,38 +1,38 @@
 #include <stdio.h>
 #include <stdlib.h>
-#include "sokoban.h"
 
+#include "sokoban.h"
 
-//Still need to remove outside walls
+//Still need to remove outside walls and unreachable places.
 struct sokoban_screen *parse_screen(FILE *stream){
-    int buffer, x, y;
-    x = 0;
-    y = 0;
-    struct sokoban_screen *head, *current;
-    head = NULL;
-    while((buffer = fgetc(stream)) != EOF){
-        if (buffer == '\n'){
-            x = 0;
-            y++;
-        }
-        else {
-            current = (struct sokoban_screen *)malloc(sizeof(struct sokoban_screen));
-            current->next = head;
-            switch(buffer) {
-                case ' ' : current->tile = FREE; break;
-                case '@' : current->tile = AGENT; break;
-                case '.' : current->tile = TARGET; break;
-                case '#' : current->tile = WALL; break;
-                case '$' : current->tile = BOX; break;
-                case '*' : current->tile = TARGBOX; break;
-                case '+' : current->tile = TARGAGENT; break;
-                default: return NULL;
-            }
-            current->x = x;
-            current->y = y;
-            x++;
-            head = current;
-        }
-    }
-    return head;
- }
+	int buffer, x, y;
+	x = 0;
+	y = 0;
+	struct sokoban_screen *head, *current;
+	head = NULL;
+	while((buffer = fgetc(stream)) != EOF){
+		if (buffer == '\n'){
+			x = 0;
+			y++;
+		}
+		else {
+			current = (struct sokoban_screen *)malloc(sizeof(struct sokoban_screen));
+			current->next = head;
+			switch(buffer) {
+				case ' ' : current->tile = FREE; break;
+				case '@' : current->tile = AGENT; break;
+				case '.' : current->tile = TARGET; break;
+				case '#' : current->tile = WALL; break;
+				case '$' : current->tile = BOX; break;
+				case '*' : current->tile = TARGBOX; break;
+				case '+' : current->tile = TARGAGENT; break;
+				default: return NULL;
+			}
+			current->x = x;
+			current->y = y;
+			x++;
+			head = current;
+		}
+	}
+	return head;
+}