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