add safety switch for parsing, fixed agent error

[mc1516pa.git] / modelchecker / main.c

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 7cc1070..20ad57b 100644 (file)
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -46,7 +46,7 @@ void solve(FILE *inputstream)
        clock_t time_start_encode, time_end_encode;
 
        time_start_read = clock();
-       sokoban_screen *screen = parse_screen(inputstream);
+       sokoban_screen *screen = parse_screen(inputstream, false);
        if (screen == NULL) printf("Something went wrong...\n");
        //sokoban_print(screen);
        time_end_read = clock();
@@ -91,23 +91,8 @@ void solve(FILE *inputstream)
         }
        }
        ERRPRINT("Satcount: %f\n", sylvan_satcount(old, init->vars.varset));
-               //sylvan_printdot_nc(old);
-       //switch(strat){
-       //      case COORD:
-       //              DPRINT("Encoding coordinate based\n");
-       //              break;
-       //      case OBJECT:
-       //              DPRINT("Encoding object based\n");
-       //              solve_object(screen);
-       //              break;
-       //      case HYBRID:
-       //              DPRINT("Encoding hybrid based\n");
-       //              DPRINT("Not implemented yet...\n");
-       //              break;
-       //      default:
-       //              ERRPRINT("Huh?");
-       //              exit(2);
-       //}
+//     sylvan_enum(old, init->vars.varset, (enum_cb)callback, NULL);
+//     sylvan_printdot_nc(old);
        time_end_encode = clock();
 
        //SOLVE???