Searched refs:Gia_ManAppendXor (Results 1 – 6 of 6) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/ |
H A D | mpmAbc.c | 176 iFunc = Gia_ManAppendXor( pNew, iFunc0, iFunc1 ); in Mpm_ManNodeIfToGia_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acecFadds.c | 696 …pOutLits[0] = Gia_ManAppendXor( pNew, Gia_ManAppendXor(pNew, pInLits[0], pInLits[1]), pInLits[2] ); in Gia_ManGenerateExtraAig()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaMf.c | 1271 … pObj->Value = Gia_ManAppendXor( pNew, Gia_ObjFanin0Copy(pObj), Gia_ObjFanin1Copy(pObj) ); in Mf_ManDeriveMappingCoarse()
|
H A D | giaDup.c | 3475 … pObj->Value = Gia_ManAppendXor( pNew, Gia_ObjFanin0Copy(pObj), Gia_ObjFanin1Copy(pObj) ); in Gia_ManDupCones() 3537 … pObj->Value = Gia_ManAppendXor( pNew, Gia_ObjFanin0Copy(pObj), Gia_ObjFanin1Copy(pObj) ); in Gia_ManDupAndCones()
|
H A D | giaLf.c | 1761 … pObj->Value = Gia_ManAppendXor( pNew, Gia_ObjFanin0Copy(pObj), Gia_ObjFanin1Copy(pObj) ); in Lf_ManDeriveMappingCoarse()
|
H A D | gia.h | 815 static inline int Gia_ManAppendXor( Gia_Man_t * p, int iLit0, int iLit1 ) in Gia_ManAppendXor() function
|