relation structures added

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index c74c2fe..8905a17 100644 (file)
--- a/modelchecker/coord.c
+++ b/modelchecker/coord.c
@@ -50,6 +50,13 @@ typedef struct {
        bddvar_xy_map *t;
 } bimap;
 
+typedef struct {
+       BDD *rell;
+       BDD *relu;
+       BDD *relr;
+       BDD *reld;
+} rels;
+
 xy_bddvar_map *getxy(int x, int y, xy_bddvar_map *map)
 {
        xy_bddvar_map k, *r = NULL;
@@ -69,6 +76,7 @@ bddvar_xy_map *getbdd(int key, bddvar_xy_map *map)
        return r;
 }
 
+/*
 xy_bddvar_map *create_xy_bddvar_map(sokoban_screen *screen)
 {
        int varcount = 0;
@@ -112,6 +120,7 @@ bddvar_xy_map *create_bddvar_xy_map(sokoban_screen *screen)
        }
        return bddxy;
 }
+*/
 
 bimap *create_bimap_helper(sokoban_screen *screen)
 {