From: Alexander Fedotov <soyaxhoya@gmail.com>
Date: Mon, 11 Apr 2016 11:24:30 +0000 (+0100)
Subject: different variable representation
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=25b40ed8ebcfd9296476bb28d33a1eee064f8d91;p=mc1516pa.git

different variable representation
---

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index af3cebe..0d293b4 100644
--- 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)