Searched refs:If_ManObj (Results 1 – 5 of 5) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
H A D | if.h | 389 static inline If_Obj_t * If_ManObj( If_Man_t * p, int i ) { return (If_Obj_t *)V… in If_ManObj() function 411 …t_t * pCut, int i ) { assert(i >= 0 && i < (int)pCut->nLeaves); return If_ManObj(p, pCut->pLeaves… in If_CutLeaf() 494 for ( i = 0; (i < (int)(pCut)->nLeaves) && ((pLeaf) = If_ManObj(p, (pCut)->pLeaves[i])); i++ ) 496 …for ( i = (int)(pCut)->nLeaves - 1; (i >= 0) && ((pLeaf) = If_ManObj(p, (pCut)->pLeaves[i])); i-- ) 501 …for ( i = 0; (i < (int)(pCut)->nLeaves) && ((pLeaf) = If_ManObj(p, (pCut)->pLeaves[i] >> 8)) && ((…
|
H A D | ifSelect.c | 544 pLeaf = If_ManObj(pIfMan, Entry2); in If_ManCheckShape() 557 pLeaf = If_ManObj(pIfMan, Entry2); in If_ManCheckShape()
|
H A D | ifTime.c | 203 pLeaf = If_ManObj( p, pCut->pLeaves[pPinPerm[i]] ); in If_CutPropagateRequired()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaIf.c | 771 …nFanin0Copy( If_Man_t * pIfMan, Gia_Obj_t * pObj ) { return If_NotCond( If_ManObj(pIfMan, Gia_ObjV… in If_ManFanin0Copy() 772 …nFanin1Copy( If_Man_t * pIfMan, Gia_Obj_t * pObj ) { return If_NotCond( If_ManObj(pIfMan, Gia_ObjV… in If_ManFanin1Copy() 819 … If_ObjSetChoice( If_ManObj(pIfMan, Gia_ObjValue(pPrev)), If_ManObj(pIfMan, Gia_ObjValue(pSibl)) ); in Gia_ManToIf() 820 If_ManCreateChoice( pIfMan, If_ManObj(pIfMan, Gia_ObjValue(pObj)) ); in Gia_ManToIf() 1559 pIfObj = If_ManObj( pIfMan, pCutBest->pLeaves[Abc_Lit2Var(Lit)] ); in Gia_ManFromIfGetConfig()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcRec3.c | 761 …If_ManObj( pIfMan, pCut->pLeaves[(int)pCanonPerm[i]] )->iCopy = Abc_Var2Lit( Gia_ObjId(pGia, Gia_M… in Abc_NtkRecAddCut3() 897 pLeaf = If_ManObj(p, (pCut)->pLeaves[(int)pCanonPerm[i]]); in If_CutComputeDelay() 929 … return If_ObjCutBest(If_ManObj(pIfMan, pCut->pLeaves[Abc_TtSuppFindFirst(uSupport)]))->Delay; in If_CutFindBestStruct()
|