diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-16 18:34:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-16 18:34:06 -0700 |
| commit | 0145b0ca724ba866480a3edcc1292cdf04117d6f (patch) | |
| tree | d8a88df537ad7e85be08ffac540d2ca88b58800e /src/base/abci | |
| parent | d944384d9e2d39d022fbd338ba99d9b6e7b8e982 (diff) | |
| download | abc-0145b0ca724ba866480a3edcc1292cdf04117d6f.tar.gz abc-0145b0ca724ba866480a3edcc1292cdf04117d6f.tar.bz2 abc-0145b0ca724ba866480a3edcc1292cdf04117d6f.zip | |
Moving BDD-based threshold function detection to the BDD part of the code.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 187fcf89..d6a9b1cc 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -16941,7 +16941,6 @@ usage: ***********************************************************************/ int Abc_CommandDsdFilter( Abc_Frame_t * pAbc, int argc, char ** argv ) { - extern void Id_DsdManTuneThresh( If_DsdMan_t * p, int fUnate, int fThresh, int fThreshHeuristic, int fVerbose ); If_DsdMan_t * pDsd = (If_DsdMan_t *)Abc_FrameReadManDsd(); int c, nLimit = 0, nLutSize = -1, fCleanOccur = 0, fCleanMarks = 0, fInvMarks = 0, fUnate = 0, fThresh = 0, fThreshHeuristic = 0, fVerbose = 0; Extra_UtilGetoptReset(); @@ -17009,8 +17008,10 @@ int Abc_CommandDsdFilter( Abc_Frame_t * pAbc, int argc, char ** argv ) If_DsdManCleanMarks( pDsd, fVerbose ); if ( fInvMarks ) If_DsdManInvertMarks( pDsd, fVerbose ); +#ifdef ABC_USE_CUDD else Id_DsdManTuneThresh( pDsd, fUnate, fThresh, fThreshHeuristic, fVerbose ); +#endif return 0; usage: |