nice'

[mc1516pa.git] / modelchecker / main.c

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 16dd229..56fb6bd 100644 (file)
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -13,7 +13,7 @@ bool DEBUG = false;
 strategy strat = HYBRID;
 
 void usage(char *prg){
-       fprintf(stderr, 
+       fprintf(stderr,
                "Usage:\n"
                "\t%s [opts] [FILE [FILE [...]]]\n"
                "\n"
@@ -38,8 +38,20 @@ void solve(FILE *inputstream){
        clock_t time_start_encode, time_end_encode;
 
        time_start_read = clock();
-       //struct sokoban_screen *screen = parse_screen(inputstream);
-       parse_screen(inputstream);
+       struct sokoban_screen *screen = parse_screen(inputstream);
+       while(screen != NULL){
+               switch(screen->tile){
+               case FREE: printf("x = %d y = %d tile = %s\n", screen->x, screen->y, "FREE");break;
+               case WALL: printf("x = %d y = %d tile = %s\n", screen->x, screen->y, "WALL");break;
+               case BOX: printf("x = %d y = %d tile = %s\n", screen->x, screen->y, "BOX");break;
+               case TARGET: printf("x = %d y = %d tile = %s\n", screen->x, screen->y, "TARGET");break;
+               case AGENT: printf("x = %d y = %d tile = %s\n", screen->x, screen->y, "AGENT");break;
+               case TARGAGENT: printf("x = %d y = %d tile = %s\n", screen->x, screen->y, "TARGAGENT");break;
+               case TARGBOX: printf("x = %d y = %d tile = %s\n", screen->x, screen->y, "TARGBOX");break;
+               }
+               screen = screen->next;
+       }
+       //parse_screen(inputstream);
        time_end_read = clock();
 
        time_start_encode = clock();
@@ -58,7 +70,7 @@ void solve(FILE *inputstream){
                exit(2);
        }
        time_end_encode = clock();
-       
+
        // Future: SMC
        fprintf(stderr, "Reading: %fs\n",
                ((double) (time_end_read-time_start_read))/CLOCKS_PER_SEC);