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;
return r;
}
+/*
xy_bddvar_map *create_xy_bddvar_map(sokoban_screen *screen)
{
int varcount = 0;
}
return bddxy;
}
+*/
bimap *create_bimap_helper(sokoban_screen *screen)
{