transitions reworked

[mc1516pa.git] / modelchecker / main.c

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 02cda40..6b1c0d4 100644 (file)
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -48,9 +48,9 @@ void solve(FILE *inputstream)
        time_start_read = clock();
        sokoban_screen *screen = parse_screen(inputstream);
        if (screen == NULL) printf("Something went wrong...\n");
-       sokoban_print(screen);
-
+       //sokoban_print(screen);
        time_end_read = clock();
+
        time_start_encode = clock();
 
        lace_init(0, 1000000);
@@ -61,7 +61,9 @@ void solve(FILE *inputstream)
        switch(strat){
                case COORD:
                        DPRINT("Encoding coordinate based\n");
-                       encode_screen(screen);
+                       //encode_screen(screen);
+                       //test_relprod();
+                       encode_rel(screen);
                        break;
                case OBJECT:
                        DPRINT("Encoding object based\n");