variables varset;
} trans;
+typedef struct {
+ BDD *rell;
+ BDD *relu;
+ BDD *relr;
+ BDD *reld;
+} rels;
+
typedef enum { LEFT, UP, RIGHT, DOWN } direction;
state *encode_screen(sokoban_screen *screen);
-BDD encode_rel(sokoban_screen *screen);
+rels *encode_rel(sokoban_screen *screen);
//int test_relprod();