diff options
Diffstat (limited to 'src/bdd/cudd/cudd.h')
-rw-r--r-- | src/bdd/cudd/cudd.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/bdd/cudd/cudd.h b/src/bdd/cudd/cudd.h index 14f67abf..658e4eaf 100644 --- a/src/bdd/cudd/cudd.h +++ b/src/bdd/cudd/cudd.h @@ -720,6 +720,7 @@ EXTERN DdNode * Cudd_addRoundOff ARGS((DdManager *dd, DdNode *f, int N)); EXTERN DdNode * Cudd_addWalsh ARGS((DdManager *dd, DdNode **x, DdNode **y, int n)); EXTERN DdNode * Cudd_addResidue ARGS((DdManager *dd, int n, int m, int options, int top)); EXTERN DdNode * Cudd_bddAndAbstract ARGS((DdManager *manager, DdNode *f, DdNode *g, DdNode *cube)); +EXTERN DdNode * Cudd_bddAndAbstractLimit ARGS((DdManager *manager, DdNode *f, DdNode *g, DdNode *cube, unsigned int limit)); EXTERN int Cudd_ApaNumberOfDigits ARGS((int binaryDigits)); EXTERN DdApaNumber Cudd_NewApaNumber ARGS((int digits)); EXTERN void Cudd_ApaCopy ARGS((int digits, DdApaNumber source, DdApaNumber dest)); |