X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fsokoban.c;h=4f3c8a105563034fb82bc19adf6ab19a3b184971;hb=d6125301a72af27e71bb4c2b19282d1731d48118;hp=d5e967fe6d5c2ef81e111c9c087303adfb9f4f94;hpb=476b70d5c7cb978fec97c99fe462402eb38405de;p=mc1516pa.git

diff --git a/modelchecker/sokoban.c b/modelchecker/sokoban.c
index d5e967f..4f3c8a1 100644
--- a/modelchecker/sokoban.c
+++ b/modelchecker/sokoban.c
@@ -1,6 +1,5 @@
 #include <stdio.h>
 #include <stdlib.h>
-#include "uthash.h"
 #include "sokoban.h"
 
 sokoban_screen *add_coord(int x, int y, sokoban_tile tile, sokoban_screen *screen)
@@ -50,7 +49,24 @@ void sokoban_print(sokoban_screen *screen)
 	}
 }
 
-void sokoban_clear(sokoban_screen *screen)
+sokoban_screen *sokoban_shrink(int x, int y, sokoban_screen *screen, sokoban_screen *newscreen)
+{
+	sokoban_screen *c, *nc = NULL;
+	c = get_coord(x, y, screen);
+	if (c) {
+		nc = get_coord(c->coord.x, c->coord.y, newscreen);
+		if (c->tile != WALL && nc == NULL) {
+			newscreen = add_coord(x, y, c->tile, newscreen);
+			newscreen = sokoban_shrink(x-1, y, screen, newscreen);
+			newscreen = sokoban_shrink(x+1, y, screen, newscreen);
+			newscreen = sokoban_shrink(x, y-1, screen, newscreen);
+			newscreen = sokoban_shrink(x, y+1, screen, newscreen);
+		}
+	}
+	return newscreen;
+}
+
+void sokoban_free(sokoban_screen *screen)
 {
 	sokoban_screen *r, *tmp = NULL;
 	HASH_ITER(hh, screen, r, tmp) {
@@ -61,9 +77,11 @@ void sokoban_clear(sokoban_screen *screen)
 
 sokoban_screen *parse_screen(FILE *stream)
 {
-	int buffer, x, y;
+	int buffer, x, y, agent_x, agent_y;
 	x = 0;
 	y = 0;
+	agent_x = 0;
+	agent_y = 0;
 	sokoban_screen *screen = NULL;
 	while((buffer = fgetc(stream)) != EOF){
 		if (buffer == '\n'){
@@ -73,7 +91,11 @@ sokoban_screen *parse_screen(FILE *stream)
 		else {
 			switch(buffer) {
 			case ' ': screen = add_coord(x, y, FREE, screen); break;
-			case '@': screen = add_coord(x, y, AGENT, screen); break;
+			case '@':
+				screen = add_coord(x, y, AGENT, screen);
+				agent_x = x;
+				agent_y = y;
+				break;
 			case '.': screen = add_coord(x, y, TARGET, screen); break;
 			case '#': screen = add_coord(x, y, WALL, screen); break;
 			case '$': screen = add_coord(x, y, BOX, screen); break;
@@ -84,8 +106,9 @@ sokoban_screen *parse_screen(FILE *stream)
 			x++;
 		}
 	}
-	sokoban_screen *test = NULL;
-	test = get_coord(0,0,screen);
-	if(test->tile == TARGAGENT) printf("Yuppi\n");
-	return screen;
+	sokoban_screen *newscreen = NULL;
+	newscreen = sokoban_shrink(agent_x, agent_y, screen, newscreen);
+	//sokoban_print(screen); //unshrinked screen
+	sokoban_free(screen);
+	return newscreen;
 }