Searched refs:pPermLits (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauTree.c | 1016 int iPermLit = pPermLits ? pPermLits[(*pnSupp)++] : Abc_Var2Lit((*pnSupp)++, 0); in Dss_ManPrint_rec()
1026 Dss_ManPrint_rec( pFile, p, pFanin, pPermLits, pnSupp ); in Dss_ManPrint_rec()
1147 int iPermLit = pPermLits[(*pnSupp)++]; in Dss_ManComputeTruth_rec()
1205 int iPermLit = pPermLits[nSupp++]; in Dss_ManComputeTruth()
1441 int pPermLits[DAU_MAX_VAR]; in Dss_ManBooleanAnd() local
1451 pPermLits[i] = Abc_Var2Lit( nSuppSize++, 0 ); in Dss_ManBooleanAnd()
1461 pPermLits[i] = -1; in Dss_ManBooleanAnd()
1463 pPermLits[pEnt->pShared[2*i+0]] = pEnt->pShared[2*i+1]; in Dss_ManBooleanAnd()
1465 if ( pPermLits[i] == -1 ) in Dss_ManBooleanAnd()
1468 pPermLits[i] = Abc_Var2Lit( nSuppSize++, 0 ); in Dss_ManBooleanAnd()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifDsd.c | 498 int iPermLit = pPermLits ? (int)pPermLits[(*pnSupp)++] : Abc_Var2Lit((*pnSupp)++, 0); in If_DsdManPrint_rec()
506 If_DsdManPrint_rec( pFile, p, iFanin, pPermLits, pnSupp ); in If_DsdManPrint_rec()
1363 int iPermLit = pPermLits ? (int)pPermLits[*pnSupp] : Abc_Var2Lit(*pnSupp, 0); in If_DsdManComputeTruth_rec()
1419 int iPermLit = pPermLits ? (int)pPermLits[nSupp] : Abc_Var2Lit(nSupp, 0); in If_DsdManComputeTruthPtr()
1424 If_DsdManComputeTruth_rec( p, iDsd, pRes, pPermLits, &nSupp ); in If_DsdManComputeTruthPtr()
1430 If_DsdManComputeTruthPtr( p, iDsd, pPermLits, pRes ); in If_DsdManComputeTruth()
2140 int iCutVar = Abc_Lit2Var(pPermLits[(*pnSupp)++]); in If_CutDsdBalancePinDelays_rec()
2217 int If_CutDsdPermLitMax( char * pPermLits, int nVars, int iVar ) in If_CutDsdPermLitMax() argument
2222 if ( iVar == Abc_Lit2Var((int)pPermLits[i]) ) in If_CutDsdPermLitMax()
2244 int iCutVar = Abc_Lit2Var( pPermLits[*pnSupp] ); in If_CutDsdBalanceEval_rec()
[all …]
|