Searched refs:If_ObjFaninC0 (Results 1 – 7 of 7) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifUtil.c | 529 if ( !If_ObjFaninC0(pObj) ) in If_ManCountSpecialPos()
533 if ( If_ObjFaninC0(pObj) ) in If_ManCountSpecialPos()
617 printf( "PO( %4d%s )", If_ObjId(If_ObjFanin0(pObj)), (If_ObjFaninC0(pObj)? "\'" : " ") ); in If_ObjPrint()
620 If_ObjId(If_ObjFanin0(pObj)), (If_ObjFaninC0(pObj)? "\'" : " "), in If_ObjPrint()
|
| H A D | ifCheck.c | 105 T0 = If_ObjFaninC0(pObj) ? ~T0 : T0; in If_ManCutTruthCheck_rec()
|
| H A D | ifSeq.c | 58 pObjLo->fCompl0 = If_ObjFaninC0( pObjLi ); in If_ManPrepareMappingSeq()
|
| H A D | if.h | 401 static inline int If_ObjFaninC0( If_Obj_t * pObj ) { return pObj->fCompl0… in If_ObjFaninC0() function
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcIf.c | 77 …int iLit0 = Abc_LitNotCond( Vec_IntEntry(vCopy, If_ObjFanin0(pIfObj)->Id), If_ObjFaninC0(pIfObj) ); in If_ManComputeSwitching()
84 …int iLit0 = Abc_LitNotCond( Vec_IntEntry(vCopy, If_ObjFanin0(pIfObj)->Id), If_ObjFaninC0(pIfObj) ); in If_ManComputeSwitching()
340 pNodeNew = Abc_ObjNotCond( pNodeNew, If_ObjFaninC0(If_ManCo(pIfMan, i)) ); in Abc_NtkFromIf()
|
| H A D | abcRec3.c | 773 iFanin0 = Abc_LitNotCond( If_ObjFanin0(pIfObj)->iCopy, If_ObjFaninC0(pIfObj) ); in Abc_NtkRecAddCut3()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaIf.c | 959 …Copy = Gia_ManAppendCo( pNew, Abc_LitNotCond(If_ObjFanin0(pIfObj)->iCopy, If_ObjFaninC0(pIfObj)) ); in Gia_ManFromIfAig()
1916 …Copy = Gia_ManAppendCo( pNew, Abc_LitNotCond(If_ObjFanin0(pIfObj)->iCopy, If_ObjFaninC0(pIfObj)) ); in Gia_ManFromIfLogic()
|