Home
last modified time | relevance | path

Searched refs:Vec_IntTwoMerge2 (Results 1 – 9 of 9) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaUnate.c88 Vec_IntTwoMerge2( vUnate0, vUnate1, Vec_WecEntry(vUnates, i) ); in Gia_ManCheckUnateVec()
H A DgiaResub.c242 Vec_IntTwoMerge2( vPivot, vCommon, vCommon2 ); in Gia_ManAddDivisors()
H A DgiaDup.c3958 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 DabcPrint.c648 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 DabcCollapse.c335 Vec_IntTwoMerge2( Vec_WecEntry(vSupps, Abc_ObjFanin0(pNode)->Id),
H A DabcDetect.c382 Vec_IntTwoMerge2( vSet, vArray, vTemp ); in Abc_NtkDetectObjClasses_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsRpm.c131 Vec_IntTwoMerge2( Vec_WecEntry(vSupps, Gia_ObjFaninId0(pObj, Id)), in Gia_ManCreateSupps()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/
H A DvecInt.h1836 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 DsbdCore.c159 Vec_IntTwoMerge2( vNodes0, vNodes1, vNodes ); in Sbd_ManWindowRoots()