diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-18 23:27:26 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-18 23:27:26 -0700 |
| commit | 39ad44638c06771d215f9ed7f2aced76af71ab2f (patch) | |
| tree | d63b975ad1c0d984b377bc42b9f411389335a1a3 /src/bdd/cudd | |
| parent | 74a79e5dab400dcaee6fa61e4075197f8c0f1d56 (diff) | |
| download | abc-39ad44638c06771d215f9ed7f2aced76af71ab2f.tar.gz abc-39ad44638c06771d215f9ed7f2aced76af71ab2f.tar.bz2 abc-39ad44638c06771d215f9ed7f2aced76af71ab2f.zip | |
Improvements to BDD reachability.
Diffstat (limited to 'src/bdd/cudd')
| -rw-r--r-- | src/bdd/cudd/cuddInt.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bdd/cudd/cuddInt.h b/src/bdd/cudd/cuddInt.h index 09892ba5..229030ca 100644 --- a/src/bdd/cudd/cuddInt.h +++ b/src/bdd/cudd/cuddInt.h @@ -147,7 +147,7 @@ ABC_NAMESPACE_HEADER_START #define DD_SIFT_MAX_VAR 1000 #define DD_SIFT_MAX_SWAPS 2000000 #define DD_DEFAULT_RECOMB 0 -#define DD_MAX_REORDER_GROWTH 1.2 +#define DD_MAX_REORDER_GROWTH 1.1 #define DD_FIRST_REORDER 4004 /* 4 for the constants */ #define DD_DYN_RATIO 2 /* when to dynamically reorder */ |