From 51e07babc1030560dcaff28e68d2fd3c33e504b6 Mon Sep 17 00:00:00 2001 From: Alexander Fedotov Date: Sun, 10 Apr 2016 10:00:57 +0100 Subject: [PATCH] relation structures added --- modelchecker/coord.c | 9 +++++++++ 1 file changed, 9 insertions(+) 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) { -- 2.20.1