made a stub for object oriented appearch

[mc1516pa.git] / modelchecker / main.c

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 45831e7..02cda40 100644 (file)
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -8,6 +8,7 @@
 
 #include "sokoban.h"
 #include "coord.h"
+#include "object.h"
 
 #define ERRPRINT(fmt, as...) fprintf(stderr, fmt, ## as);
 #define DPRINT(fmt, as...) if(DEBUG) ERRPRINT(fmt, ## as);
@@ -57,25 +58,24 @@ void solve(FILE *inputstream)
        LACE_ME;
     sylvan_init_package(1LL<<21, 1LL<<27, 1LL<<20, 1LL<<26);
     sylvan_init_bdd(6);
-
-       encode_screen(screen);
-
-       sokoban_free(screen);
-
        switch(strat){
                case COORD:
                        DPRINT("Encoding coordinate based\n");
+                       encode_screen(screen);
                        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);
        }
+       sokoban_free(screen);
        time_end_encode = clock();
 
        //SOLVE???