diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-03 13:05:01 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-03 13:05:01 -0800 |
commit | 59d7455cf16cc2be722b5f224801bcd1b600134e (patch) | |
tree | 69cf5dd67598837d80b9b291f001995047edffee /src/bdd/cudd | |
parent | 1d54983bc4f7e96c0bb826138066cd926ab73b9d (diff) | |
download | abc-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.c | 5 |
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; |