From: Alexander Fedotov <soyaxhoya@gmail.com>
Date: Sun, 10 Apr 2016 09:00:57 +0000 (+0100)
Subject: relation structures added
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=51e07babc1030560dcaff28e68d2fd3c33e504b6;p=mc1516pa.git

relation structures added
---

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index c74c2fe..8905a17 100644
--- 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)
 {