Searched refs:Vec_IntTwoMerge2 (Results 1 – 9 of 9) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaUnate.c | 88 Vec_IntTwoMerge2( vUnate0, vUnate1, Vec_WecEntry(vUnates, i) ); in Gia_ManCheckUnateVec()
|
H A D | giaResub.c | 242 Vec_IntTwoMerge2( vPivot, vCommon, vCommon2 ); in Gia_ManAddDivisors()
|
H A D | giaDup.c | 3958 Vec_IntTwoMerge2( Vec_WecEntry(vSupps, Gia_ObjFaninId0(pObj, Id)), in Gia_ManCreateNodeSupps() 3978 Vec_IntTwoMerge2( Vec_WecEntry(vSupps, Gia_ObjFaninId0(pObj, Id)), in Gia_ManCreateCoSupps()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcPrint.c | 648 Vec_IntTwoMerge2( vFanout, vFanin, vTemp ); in Abc_NtkCollectCoSupps() 675 Vec_IntTwoMerge2( vFanin, vFanout, vTemp ); in Abc_NtkCollectCiSupps() 684 Vec_IntTwoMerge2( vFanin, vFanout, vTemp ); in Abc_NtkCollectCiSupps() 740 Vec_IntTwoMerge2( vFanout, vFanin, vTemp ); in Abc_NtkCollectCoCones() 770 Vec_IntTwoMerge2( vFanin, vFanout, vTemp ); in Abc_NtkCollectCiCones()
|
H A D | abcCollapse.c | 335 Vec_IntTwoMerge2( Vec_WecEntry(vSupps, Abc_ObjFanin0(pNode)->Id),
|
H A D | abcDetect.c | 382 Vec_IntTwoMerge2( vSet, vArray, vTemp ); in Abc_NtkDetectObjClasses_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
H A D | absRpm.c | 131 Vec_IntTwoMerge2( Vec_WecEntry(vSupps, Gia_ObjFaninId0(pObj, Id)), in Gia_ManCreateSupps()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/ |
H A D | vecInt.h | 1836 static inline void Vec_IntTwoMerge2( Vec_Int_t * vArr1, Vec_Int_t * vArr2, Vec_Int_t * vArr ) in Vec_IntTwoMerge2() function
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
H A D | sbdCore.c | 159 Vec_IntTwoMerge2( vNodes0, vNodes1, vNodes ); in Sbd_ManWindowRoots()
|