diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-05-07 20:19:45 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-05-07 20:19:45 -0700 |
commit | 27bb2a684d0888f47bfc2f0ee99399c25989f383 (patch) | |
tree | 3049340093a2c8beb9b580a25de98e4179142247 /src/map/if/ifTruth.c | |
parent | b8b75cf14fd361c02c00ae3792537a0dab7a243f (diff) | |
download | abc-27bb2a684d0888f47bfc2f0ee99399c25989f383.tar.gz abc-27bb2a684d0888f47bfc2f0ee99399c25989f383.tar.bz2 abc-27bb2a684d0888f47bfc2f0ee99399c25989f383.zip |
Updated technology mapping.
Diffstat (limited to 'src/map/if/ifTruth.c')
-rw-r--r-- | src/map/if/ifTruth.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/map/if/ifTruth.c b/src/map/if/ifTruth.c index 75bc49db..5adf96fb 100644 --- a/src/map/if/ifTruth.c +++ b/src/map/if/ifTruth.c @@ -355,7 +355,7 @@ static inline unsigned If_CutTruthPhase( If_Cut_t * pCut, If_Cut_t * pCut1 ) SeeAlso [] ***********************************************************************/ -void If_CutComputeTruth( If_Man_t * p, If_Cut_t * pCut, If_Cut_t * pCut0, If_Cut_t * pCut1, int fCompl0, int fCompl1 ) +int If_CutComputeTruth( If_Man_t * p, If_Cut_t * pCut, If_Cut_t * pCut0, If_Cut_t * pCut1, int fCompl0, int fCompl1 ) { extern void If_CutFactorTest( unsigned * pTruth, int nVars ); @@ -380,11 +380,12 @@ void If_CutComputeTruth( If_Man_t * p, If_Cut_t * pCut, If_Cut_t * pCut0, If_Cut // minimize the support of the cut if ( p->pPars->fCutMin ) - If_CutTruthMinimize( p, pCut ); + return If_CutTruthMinimize( p, pCut ); // perform // If_CutFactorTest( If_CutTruth(pCut), pCut->nLimit ); // printf( "%d ", If_CutLeaveNum(pCut) - If_CutTruthSupportSize(If_CutTruth(pCut), If_CutLeaveNum(pCut)) ); + return 0; } @@ -412,7 +413,7 @@ int If_CutTruthMinimize( If_Man_t * p, If_Cut_t * pCut ) if ( nSuppSize < 2 ) { p->nSmallSupp++; - return 0; + return 2; } // if ( If_CutLeaveNum(pCut) - nSuppSize > 1 ) // return 0; |