Home
last modified time | relevance | path

Searched defs:vPairs (Results 1 – 25 of 39) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswIslands.c45 void Ssw_CreatePair( Vec_Int_t * vPairs, Aig_Obj_t * pObj0, Aig_Obj_t * pObj1 ) in Ssw_CreatePair()
64 void Ssw_MatchingStart( Aig_Man_t * p0, Aig_Man_t * p1, Vec_Int_t * vPairs ) in Ssw_MatchingStart()
419 Aig_Man_t * Ssw_SecWithSimilaritySweep( Aig_Man_t * p0, Aig_Man_t * p1, Vec_Int_t * vPairs, Ssw_Par… in Ssw_SecWithSimilaritySweep()
478 int Ssw_SecWithSimilarityPairs( Aig_Man_t * p0, Aig_Man_t * p1, Vec_Int_t * vPairs, Ssw_Pars_t * pP… in Ssw_SecWithSimilarityPairs()
516 Vec_Int_t * vPairs; in Saig_StrSimPerformMatching_hack() local
544 Vec_Int_t * vPairs; in Ssw_SecWithSimilarity() local
H A DsswSweep.c187 int Ssw_ManSweepNode( Ssw_Man_t * p, Aig_Obj_t * pObj, int f, int fBmc, Vec_Int_t * vPairs ) in Ssw_ManSweepNode()
342 void Ssw_ManDumpEquivMiter( Aig_Man_t * p, Vec_Int_t * vPairs, int Num, int fAddOuts ) in Ssw_ManDumpEquivMiter()
H A DsswPairs.c149 Vec_Int_t ** Ssw_TransformPairsIntoTempClasses( Vec_Int_t * vPairs, int nObjNumMax ) in Ssw_TransformPairsIntoTempClasses()
277 Vec_Int_t * vPairs; in Ssw_SignalCorrespondenceWithPairs() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaShrink7.c156 Vec_Int_t * vPairs = Vec_IntAlloc( 1000 ); in Unm_ManComputePairs() local
208 Vec_Int_t * Unm_ManFindUsedNodes( Vec_Int_t * vPairs, int nObjs ) in Unm_ManFindUsedNodes()
258 Vec_Int_t * Unm_ManCollectDecomp( Unm_Man_t * p, Vec_Int_t * vPairs, int fVerbose ) in Unm_ManCollectDecomp()
330 Vec_Int_t * vPairs, * vPairs2; in Unm_ManWork() local
H A DgiaSupMin.c141 void Gia_ManSupExperiment( Gia_Man_t * pGia, Vec_Int_t * vPairs ) in Gia_ManSupExperiment()
H A DgiaAiger.c757 Vec_Int_t * vPairs; in Gia_AigerReadFromMemory() local
1303 Vec_Int_t * vPairs = Gia_ManEdgeToArray( p ); in Gia_AigerWrite() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/
H A DresStrash.c51 Vec_Ptr_t * vPairs; in Res_WndStrash() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcUif.c148 Vec_Int_t * vPairs = Vec_IntAlloc( 2 ); in Wlc_NtkFindUifableMultiplierPairs() local
238 Vec_Int_t * vPairs = vPairsInit; in Wlc_NtkUifNodePairs() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/
H A DsbdSim.c116 int Sbd_GiaSatOne( Gia_Man_t * p, Vec_Int_t * vPairs ) in Sbd_GiaSatOne()
179 Vec_Int_t * vPairs = Vec_IntAlloc( 1000 ); in Sbd_GiaSimRoundBack() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/pla/
H A DplaHash.c271 Vec_Int_t * vPairs = Vec_IntAlloc( 1000 ); in Pla_ManComputeDistance1Int() local
328 Vec_Int_t * vPairs = Pla_ManComputeDistance1Int( p ); in Pla_ManComputeDistance1() local
335 Vec_Int_t * vPairs; in Pla_ManComputeDist1Test() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcDetect.c171 Vec_Int_t * vPairs = NULL; in Io_ReadFins() local
784 …ec_Wec_t * vMap2, Vec_Int_t * vPat, Vec_Wrd_t * vSims, int nWords, Vec_Int_t * vPairs, Vec_Wec_t *… in Abc_NtkFinSimulateOne()
948 void Abc_NtkFinLocalSetup( Vec_Int_t * vPairs, Vec_Int_t * vList, Vec_Wec_t * vMap2, Vec_Int_t * vR… in Abc_NtkFinLocalSetup()
960 void Abc_NtkFinLocalSetdown( Vec_Int_t * vPairs, Vec_Int_t * vList, Vec_Wec_t * vMap2 ) in Abc_NtkFinLocalSetdown()
971 … Vec_Int_t * vPairs, Vec_Int_t * vList, Vec_Wec_t * vMap2, Vec_Wec_t * vResult ) in Abc_NtkFinRefinement()
1099 Vec_Int_t * Abc_NtkFinComputeObjects( Vec_Int_t * vPairs, Vec_Wec_t ** pvMap, int nObjs ) in Abc_NtkFinComputeObjects()
1131 Vec_Int_t * vPairs; // original info as a set of pairs (ObjId, TypeId) in Abc_NtkDetectFinClasses() local
H A DabcQuant.c162 Vec_Ptr_t * vPairs; in Abc_NtkTransRel() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/
H A DextraUtilSupp.c274 …Vec_Wrd_t * vPairs = fUseSimple ? Abc_SuppGenPairs2( nOnes, nVars ) : Abc_SuppGenPairs( vRes, nVar… in Abc_SuppTest() local
368 … Vec_Wrd_t * vRes, * vPairs = Vec_WrdAlloc( Vec_WrdSize(vCubes) * (Vec_WrdSize(vCubes) - 1) / 2 ); in Abc_SuppDiffMatrix() local
510 Vec_Wrd_t * vPairs, * vCubes; in Abc_SuppReadMinTest() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecMult.c329 Vec_Int_t * Acec_MultCollectInputs( Vec_Int_t * vPairs, Vec_Int_t * vRanks, int iObj ) in Acec_MultCollectInputs()
348 Vec_Int_t * vPairs = Vec_IntAlloc( 100 ); in Acec_MultDetectInputs1() local
H A DacecPool.c270 void Acec_ManPrintRanks2( Vec_Int_t * vPairs ) in Acec_ManPrintRanks2()
277 void Acec_ManPrintRanks( Vec_Int_t * vPairs ) in Acec_ManPrintRanks()
H A DacecPolyn.c130 Vec_Int_t * vPairs = Vec_IntAlloc( 100 ); in Pln_ManPrintFinal() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyOper.c264 Ivy_Obj_t * Ivy_Miter( Ivy_Man_t * p, Vec_Ptr_t * vPairs ) in Ivy_Miter()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecCorr.c364 Vec_Int_t * vPairs; in Gia_ManCorrCreateRemapping() local
395 void Gia_ManCorrPerformRemapping( Vec_Int_t * vPairs, Vec_Ptr_t * vInfo ) in Gia_ManCorrPerformRemapping()
547 Vec_Int_t * vPairs; in Cec_ManResimulateCounterExamples() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/
H A DhopOper.c297 Hop_Obj_t * Hop_Miter( Hop_Man_t * p, Vec_Ptr_t * vPairs ) in Hop_Miter()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioReadPlaMo.c409 Vec_Int_t * Mop_ManCompatiblePairs( Vec_Int_t * vPairs, int nObjs ) in Mop_ManCompatiblePairs()
464 Vec_Int_t * vPairs = Vec_IntAlloc( 100 ); in Mop_ManFindDist1Pairs() local
484 Vec_Int_t * vPairs = Mop_ManFindDist1Pairs( p, vGroup ); in Mop_ManMergeDist1Pairs() local
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/
H A DaigOper.c451 Aig_Obj_t * Aig_Miter( Aig_Man_t * p, Vec_Ptr_t * vPairs ) in Aig_Miter()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/
H A DnwkMerge.h98 Vec_Int_t * vPairs; // pairs matched in the graph member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigDup.c91 Aig_Man_t * Saig_ManCreateEquivMiter( Aig_Man_t * pAig, Vec_Int_t * vPairs, int fAddOuts ) in Saig_ManCreateEquivMiter()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigOper.c431 Aig_Obj_t * Aig_Miter( Aig_Man_t * p, Vec_Ptr_t * vPairs ) in Aig_Miter()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxch/
H A DFxch.h118 Vec_Int_t* vPairs; /* cube pairs for the given double cube divisor */ member

12