From 25b40ed8ebcfd9296476bb28d33a1eee064f8d91 Mon Sep 17 00:00:00 2001
From: Alexander Fedotov <soyaxhoya@gmail.com>
Date: Mon, 11 Apr 2016 12:24:30 +0100
Subject: [PATCH] different variable representation

---
 modelchecker/coord.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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)
-- 
2.20.1