Home
last modified time | relevance | path

Searched refs:If_ObjFaninC1 (Results 1 – 5 of 5) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A DifCheck.c106 T1 = If_ObjFaninC1(pObj) ? ~T1 : T1; in If_ManCutTruthCheck_rec()
H A DifUtil.c621 If_ObjId(If_ObjFanin1(pObj)), (If_ObjFaninC1(pObj)? "\'" : " ") ); in If_ObjPrint()
H A Dif.h402 static inline int If_ObjFaninC1( If_Obj_t * pObj ) { return pObj->fCompl1… in If_ObjFaninC1() function
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcIf.c78 …int iLit1 = Abc_LitNotCond( Vec_IntEntry(vCopy, If_ObjFanin1(pIfObj)->Id), If_ObjFaninC1(pIfObj) ); in If_ManComputeSwitching()
H A DabcRec3.c774 iFanin1 = Abc_LitNotCond( If_ObjFanin1(pIfObj)->iCopy, If_ObjFaninC1(pIfObj) ); in Abc_NtkRecAddCut3()