modelchecker/coord.h

   1 #ifndef COORD_H
   2 #define COORD_H
   3
   4 #include "sokoban.h"
   5
   6 BDD encode_screen(sokoban_screen *screen);
   7
   8 BDD encode_rel(sokoban_screen *screen);
   9
  10 //int test_relprod();
  11
  12 #endif