modelchecker/coord.h

   1 #ifndef COORD_H
   2 #define COORD_H
   3
   4 #include "sokoban.h"
   5
   6 typedef enum { LEFT, UP, RIGHT, DOWN } direction;
   7
   8 BDD encode_screen(sokoban_screen *screen);
   9
  10 BDD encode_rel(sokoban_screen *screen);
  11
  12 //int test_relprod();
  13
  14 #endif