modelchecker/object.c

   1 #include <sylvan.h>
   2
   3 #include "object.h"
   4 #include "sokoban.h"
   5
   6 BDD solve_object(sokoban_screen *screen)
   7 {
   8         BDD state = sylvan_false;
   9         return state;
  10         (void) screen; //To avoid not used error
  11 }