modelchecker/coord.h

   1 #ifndef COORD_H
   2 #define COORD_H
   3
   4 #include "sokoban.h"
   5
   6 typedef struct {
   7         BDDSET varset;
   8         int size;
   9 } variables;
  10
  11 typedef struct
  12 {
  13     BDD bdd;
  14     variables vars;
  15 } state;
  16
  17 typedef struct
  18 {
  19     BDD bdd;
  20     variables varset;
  21 } trans;
  22
  23 typedef enum { LEFT, UP, RIGHT, DOWN } direction;
  24
  25 state *encode_screen(sokoban_screen *screen);
  26
  27 BDD encode_rel(sokoban_screen *screen);
  28
  29 //int test_relprod();
  30
  31 #endif