Searched refs:iCofVar (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifMap.c | 395 int iCofVar = -1, truthId = Abc_Lit2Var(pCut->iCutFunc); in If_ObjPerformMappingAnd() local
400 … iCofVar = Abc_TtCheckCondDep( If_CutTruthWR(p, pCut), pCut->nLeaves, p->pPars->nLutSize / 2 ); in If_ObjPerformMappingAnd()
401 Vec_StrWriteEntry( p->vTtVars[pCut->nLeaves], truthId, (char)iCofVar ); in If_ObjPerformMappingAnd()
403 iCofVar = Vec_StrEntry(p->vTtVars[pCut->nLeaves], truthId); in If_ObjPerformMappingAnd()
404 assert( iCofVar >= 0 && iCofVar <= (int)pCut->nLeaves ); in If_ObjPerformMappingAnd()
405 pCut->fUseless = (int)(iCofVar == (int)pCut->nLeaves && pCut->nLeaves > 0); in If_ObjPerformMappingAnd()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/ |
| H A D | lpkSets.c | 189 void Lpk_ComposeSets( Vec_Int_t * vSets0, Vec_Int_t * vSets1, int nVars, int iCofVar, in Lpk_ComposeSets() argument
209 uSuppTotal = Kit_BitMask(nVars) & ~(1<<iCofVar); in Lpk_ComposeSets()
275 pEntry->iVar = iCofVar; in Lpk_ComposeSets()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaCof.c | 784 int i, iCofVar = -1; in Gia_ManDupCofInt() local
809 iCofVar = pObj->Value; in Gia_ManDupCofInt()
818 iCofVar = pObj->Value; in Gia_ManDupCofInt()
838 assert( iCofVar > 0 ); in Gia_ManDupCofInt()
844 …pObj->Value = Gia_ManAppendCo( pNew, Gia_ManHashMux(pNew, iCofVar, Gia_ObjFanin0Copy(pObj), pObj->… in Gia_ManDupCofInt()
|