diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-14 18:29:19 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-14 18:29:19 -0700 |
| commit | 0ac22c9e1d88cc81484773e36d053a186af8f997 (patch) | |
| tree | 4c7332f8c3aef0288e60ed785d7dbe3ad9d98e09 /src/map/if/ifTruth.c | |
| parent | b801ec1997460970380372a73837d4c3a6ce0362 (diff) | |
| download | abc-0ac22c9e1d88cc81484773e36d053a186af8f997.tar.gz abc-0ac22c9e1d88cc81484773e36d053a186af8f997.tar.bz2 abc-0ac22c9e1d88cc81484773e36d053a186af8f997.zip | |
Specializing some truth-table functions to 6 inputs.
Diffstat (limited to 'src/map/if/ifTruth.c')
| -rw-r--r-- | src/map/if/ifTruth.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/if/ifTruth.c b/src/map/if/ifTruth.c index 6ee6b781..35a07bae 100644 --- a/src/map/if/ifTruth.c +++ b/src/map/if/ifTruth.c @@ -108,8 +108,8 @@ int If_CutComputeTruth( If_Man_t * p, If_Cut_t * pCut, If_Cut_t * pCut0, If_Cut_ Abc_TtCopy( pTruth1, pTruth1s, nWords, fCompl1 ^ pCut1->fCompl ^ Abc_LitIsCompl(pCut1->iCutFunc) ); Abc_TtStretch6( pTruth0, pCut0->nLeaves, pCut->nLeaves ); Abc_TtStretch6( pTruth1, pCut1->nLeaves, pCut->nLeaves ); - Abc_TtStretch( pTruth0, pCut->nLeaves, pCut0->pLeaves, pCut0->nLeaves, pCut->pLeaves, pCut->nLeaves ); - Abc_TtStretch( pTruth1, pCut->nLeaves, pCut1->pLeaves, pCut1->nLeaves, pCut->pLeaves, pCut->nLeaves ); + Abc_TtExpand( pTruth0, pCut->nLeaves, pCut0->pLeaves, pCut0->nLeaves, pCut->pLeaves, pCut->nLeaves ); + Abc_TtExpand( pTruth1, pCut->nLeaves, pCut1->pLeaves, pCut1->nLeaves, pCut->pLeaves, pCut->nLeaves ); fCompl = (pTruth0[0] & pTruth1[0] & 1); Abc_TtAnd( pTruth, pTruth0, pTruth1, nWords, fCompl ); if ( p->pPars->fCutMin && (pCut0->nLeaves + pCut1->nLeaves > pCut->nLeaves || pCut0->nLeaves == 0 || pCut1->nLeaves == 0) ) |