diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-01 15:47:55 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-01 15:47:55 -0800 |
| commit | d4291dab37a647ac3d8d0f4e91e571bbb4e3553b (patch) | |
| tree | 84c00511c7c6b3d21a8521cee25c8034fd5be464 /src/bdd/cudd/cuddInt.h | |
| parent | 624af674a0e7f1a675917afaaf371db6a5588821 (diff) | |
| download | abc-d4291dab37a647ac3d8d0f4e91e571bbb4e3553b.tar.gz abc-d4291dab37a647ac3d8d0f4e91e571bbb4e3553b.tar.bz2 abc-d4291dab37a647ac3d8d0f4e91e571bbb4e3553b.zip | |
Cumulative changes of the last two weeks.
Diffstat (limited to 'src/bdd/cudd/cuddInt.h')
| -rw-r--r-- | src/bdd/cudd/cuddInt.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/bdd/cudd/cuddInt.h b/src/bdd/cudd/cuddInt.h index 84146132..f5becf84 100644 --- a/src/bdd/cudd/cuddInt.h +++ b/src/bdd/cudd/cuddInt.h @@ -439,7 +439,8 @@ struct DdManager { /* specialized DD symbol table */ int nvars; /* variables used so far */ int threshold; /* for pseudo var threshold value*/ #endif - DdNode * bReached; + DdNode * bFunc; + DdNode * bFunc2; }; typedef struct Move { |