Searched refs:Abc_TtStretch6 (Results 1 – 8 of 8) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifTruth.c | 108 Abc_TtStretch6( pTruth0, pCut0->nLeaves, pCut->nLeaves ); in If_CutComputeTruth()
109 Abc_TtStretch6( pTruth1, pCut1->nLeaves, pCut->nLeaves ); in If_CutComputeTruth()
178 Abc_TtStretch6( pTruth0, pCut0->nLeaves, pCut->nLeaves ); in If_CutComputeTruthPerm_int()
179 Abc_TtStretch6( pTruth1, pCut1->nLeaves, pCut->nLeaves ); in If_CutComputeTruthPerm_int()
|
| H A D | ifDsd.c | 1631 Abc_TtStretch6( pTruth, nLits, p->nVars ); in If_DsdManOperation()
2076 Abc_TtStretch6( pCopy, nSizeNonDec, p->nVars ); in If_DsdManCompute()
|
| H A D | ifDec16.c | 2224 Abc_TtStretch6( (word *)pTruth, nLeaves, p->pPars->nLutSize ); in If_CutPerformCheck16()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
| H A D | extraUtilMaj.c | 237 Abc_TtStretch6( pResult, Abc_MaxInt(6, pObj->nVars+2), p->nVars ); in Gem_FuncExpand()
314 Abc_TtStretch6( pResult, Abc_MaxInt(6, pObj->nVars-1), p->nVars ); in Gem_FuncReduce()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
| H A D | sfmDec.c | 795 Abc_TtStretch6( pTruth, nSupp0, p->pPars->nVarMax ); in Sfm_DecCombineDec()
805 Abc_TtStretch6( pTruth0, nSupp0, nSupp ); in Sfm_DecCombineDec()
806 Abc_TtStretch6( pTruth1, nSupp1, nSupp ); in Sfm_DecCombineDec()
812 Abc_TtStretch6( pTruth, nSupp, p->pPars->nVarMax ); in Sfm_DecCombineDec()
1009 Abc_TtStretch6( pTruth, nFinal, p->pPars->nVarMax ); in Sfm_DecPeformDec_rec()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/ |
| H A D | utilTruth.h | 999 static inline void Abc_TtStretch6( word * pInOut, int nVarS, int nVarB ) in Abc_TtStretch6() function
2948 Abc_TtStretch6( pThis, nThis, nVars ); in Abc_TtVerifyBiDec()
2949 Abc_TtStretch6( pThat, nThat, nVars ); in Abc_TtVerifyBiDec()
|
| H A D | utilIsop.c | 440 Abc_TtStretch6( pRes, nVarsNew, nVars ); in Abc_IsopCheck()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauTree.c | 1074 Abc_TtStretch6( Temp, pObj->nFans, p->nVars ); in Dss_ManDump()
|