summaryrefslogtreecommitdiffstats
path: root/src/bdd/cudd
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2011-02-03 13:05:01 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2011-02-03 13:05:01 -0800
commit59d7455cf16cc2be722b5f224801bcd1b600134e (patch)
tree69cf5dd67598837d80b9b291f001995047edffee /src/bdd/cudd
parent1d54983bc4f7e96c0bb826138066cd926ab73b9d (diff)
downloadabc-59d7455cf16cc2be722b5f224801bcd1b600134e.tar.gz
abc-59d7455cf16cc2be722b5f224801bcd1b600134e.tar.bz2
abc-59d7455cf16cc2be722b5f224801bcd1b600134e.zip
Minor changes while improving BDD-based reachability.
Diffstat (limited to 'src/bdd/cudd')
-rw-r--r--src/bdd/cudd/cuddAndAbs.c5
1 files changed, 2 insertions, 3 deletions
diff --git a/src/bdd/cudd/cuddAndAbs.c b/src/bdd/cudd/cuddAndAbs.c
index cd928e80..10b057ac 100644
--- a/src/bdd/cudd/cuddAndAbs.c
+++ b/src/bdd/cudd/cuddAndAbs.c
@@ -135,11 +135,10 @@ Cudd_bddAndAbstractLimit(
{
DdNode *res;
unsigned int saveLimit = manager->maxLive;
-
- manager->maxLive = (manager->keys - manager->dead) +
- (manager->keysZ - manager->deadZ) + limit;
do {
manager->reordered = 0;
+ manager->maxLive = (manager->keys - manager->dead) +
+ (manager->keysZ - manager->deadZ) + limit;
res = cuddBddAndAbstractRecur(manager, f, g, cube);
} while (manager->reordered == 1);
manager->maxLive = saveLimit;