diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-18 18:41:26 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-18 18:41:26 -0800 |
| commit | 5ad773eda10692ee1877a04561ef51c06713f519 (patch) | |
| tree | 6dc30bcef6e83e236b8d575645b394bd2e33434a /src/misc/extra/extraBdd.h | |
| parent | 874d394089932a50cc3d9797018f2c398e74444e (diff) | |
| download | abc-5ad773eda10692ee1877a04561ef51c06713f519.tar.gz abc-5ad773eda10692ee1877a04561ef51c06713f519.tar.bz2 abc-5ad773eda10692ee1877a04561ef51c06713f519.zip | |
Changing semantics of switch -C in 'sop' to limit cubes at one node.
Diffstat (limited to 'src/misc/extra/extraBdd.h')
| -rw-r--r-- | src/misc/extra/extraBdd.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/extra/extraBdd.h b/src/misc/extra/extraBdd.h index 87072fd6..1f86950c 100644 --- a/src/misc/extra/extraBdd.h +++ b/src/misc/extra/extraBdd.h @@ -195,7 +195,7 @@ extern DdNode * Extra_bddChangePolarity( DdManager * dd, DdNode * bFunc, DdN extern DdNode * extraBddChangePolarity( DdManager * dd, DdNode * bFunc, DdNode * bVars ); extern int Extra_bddVarIsInCube( DdNode * bCube, int iVar ); extern DdNode * Extra_bddAndPermute( DdManager * ddF, DdNode * bF, DdManager * ddG, DdNode * bG, int * pPermute ); -extern int Extra_bddCountCubes( DdManager * dd, DdNode ** pFuncs, int nFuncs, int fDirect, int nLimit ); +extern int Extra_bddCountCubes( DdManager * dd, DdNode ** pFuncs, int nFuncs, int fMode, int nLimit, int * pGuide ); #ifndef ABC_PRB #define ABC_PRB(dd,f) printf("%s = ", #f); Extra_bddPrint(dd,f); printf("\n") |