different variable representation

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index af3cebe..0d293b4 100644 (file)
--- a/modelchecker/coord.c
+++ b/modelchecker/coord.c
@@ -58,20 +58,20 @@ typedef struct {
 } rels;
 
 typedef struct {
-       uint8_t *vars;
+       BDDSET varset;
        int size;
 } variables;
 
 typedef struct
 {
     BDD bdd;
-    BDD variables;
+    variables vars;
 } *state;
 
 typedef struct
 {
     BDD bdd;
-    BDD variables;
+    variables varset;
 } *trans;
 
 xy_bddvar_map *getxy(int x, int y, xy_bddvar_map *map)