Home
last modified time | relevance | path

Searched refs:vCands (Results 1 – 23 of 23) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigConstr2.c569 Vec_Vec_t * vCands = NULL; in Ssw_ManFindDirectImplications() local
633 if ( Vec_VecSizeSize(vCands) ) in Ssw_ManFindDirectImplications()
646 return vCands; in Ssw_ManFindDirectImplications()
665 Vec_Vec_t * vCands = NULL; in Saig_ManDetectConstrFunc() local
842 return vCands; in Saig_ManDetectConstrFunc()
858 Vec_Vec_t * vCands; in Saig_ManDetectConstrFuncTest() local
863 Vec_VecFreeP( &vCands ); in Saig_ManDetectConstrFuncTest()
880 Vec_Vec_t * vCands; in Saig_ManDupUnfoldConstrsFunc() local
888 if ( vCands == NULL || Vec_VecSizeSize(vCands) == 0 ) in Saig_ManDupUnfoldConstrsFunc()
890 Vec_VecFreeP( &vCands ); in Saig_ManDupUnfoldConstrsFunc()
[all …]
H A DsaigUnfold2.c68 Vec_VecForEachLevel( vCands, vNodes, i ) in Saig_ManCreateIndMiter2()
145 Vec_VecForEachLevel( vCands, vNodes, i ) in Saig_ManFilterUsingInd2()
199 Vec_Vec_t * vCands = NULL; in Ssw_ManFindDirectImplications2() local
207 vCands = Vec_VecAlloc( nFrames ); in Ssw_ManFindDirectImplications2()
256 Vec_VecForEachLevel( vCands, vNodes, k ) in Ssw_ManFindDirectImplications2()
268 if ( Vec_VecSizeSize(vCands) ) in Ssw_ManFindDirectImplications2()
281 return vCands; in Ssw_ManFindDirectImplications2()
297 Vec_Vec_t * vCands; in Saig_ManDupUnfoldConstrsFunc2() local
306 if ( vCands == NULL || Vec_VecSizeSize(vCands) == 0 ) in Saig_ManDupUnfoldConstrsFunc2()
308 Vec_VecFreeP( &vCands ); in Saig_ManDupUnfoldConstrsFunc2()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSplit.c50 Vec_Int_t * vCands; // candidate nodes member
128 p->vCands = Vec_IntAlloc( 100 ); in Spl_ManAlloc()
168 Vec_IntFree( p->vCands ); in Spl_ManStop()
310 Vec_IntForEachEntry( p->vCands, iObj, i ) in Spl_ManFindGoodCand()
368 Vec_IntClear( p->vCands ); in Spl_ManFindOne()
382 Vec_IntClear( p->vCands ); in Spl_ManFindOne()
416 Res = Vec_IntEntry( p->vCands, 0 ); in Spl_ManFindOne()
457 Vec_IntAppend( p->vAnds, vCands ); in Spl_ManAddNode()
458 Vec_IntForEachEntry( vCands, iObj, i ) in Spl_ManAddNode()
481 Spl_ManAddNode( p, iPivot, p->vCands ); in Spl_ManComputeOne()
[all …]
H A DgiaSimBase.c37 Vec_Int_t * vCands; member
465 p->vCands = Vec_IntAlloc( 1000 ); in Gia_SimRsbAlloc()
478 Vec_IntFree( p->vCands ); in Gia_SimRsbFree()
649 Vec_IntClear( p->vCands ); in Gia_ObjSimCands()
651 while ( Vec_IntSize(p->vFanins) > 0 && Vec_IntSize(p->vCands) < nCands ) in Gia_ObjSimCands()
657 Vec_IntAppend( p->vCands, p->vFanins2 ); in Gia_ObjSimCands()
661 if ( Vec_IntSize(p->vCands) > nCands ) in Gia_ObjSimCands()
662 Vec_IntShrink( p->vCands, nCands ); in Gia_ObjSimCands()
663 return p->vCands; in Gia_ObjSimCands()
683 Vec_Int_t * vCands = Gia_ObjSimCands( p, iObj, nCands ); in Gia_ObjSimRsb() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dfahout_cut.c142 …ds( Abc_Obj_t * pLut, Vec_Ptr_t * vStart, Vec_Ptr_t * vNext, Vec_Ptr_t * vCands, Nwk_LMPars_t * pP… in Abc_NtkCollectNonOverlapCands() argument
147 Vec_PtrClear( vCands ); in Abc_NtkCollectNonOverlapCands()
165 Vec_PtrPush( vCands, pObj ); in Abc_NtkCollectNonOverlapCands()
186 Vec_PtrForEachEntry( Vec_Int_t *, vCands, pObj, i ) in Abc_NtkCollectNonOverlapCands()
195 Vec_PtrWriteEntry( vCands, k++, pObj ); in Abc_NtkCollectNonOverlapCands()
197 Vec_PtrShrink( vCands, k ); in Abc_NtkCollectNonOverlapCands()
232 void Abc_NtkCollectOverlapCands( Abc_Obj_t * pLut, Vec_Ptr_t * vCands, Nwk_LMPars_t * pPars ) in Abc_NtkCollectOverlapCands() argument
240 Vec_PtrClear( vCands ); in Abc_NtkCollectOverlapCands()
263 Vec_PtrPush( vCands, pObj ); in Abc_NtkCollectOverlapCands()
H A DabcMerge.c142 …ds( Abc_Obj_t * pLut, Vec_Ptr_t * vStart, Vec_Ptr_t * vNext, Vec_Ptr_t * vCands, Nwk_LMPars_t * pP… in Abc_NtkCollectNonOverlapCands() argument
147 Vec_PtrClear( vCands ); in Abc_NtkCollectNonOverlapCands()
165 Vec_PtrPush( vCands, pObj ); in Abc_NtkCollectNonOverlapCands()
186 Vec_PtrForEachEntry( Abc_Obj_t *, vCands, pObj, i ) in Abc_NtkCollectNonOverlapCands()
195 Vec_PtrWriteEntry( vCands, k++, pObj ); in Abc_NtkCollectNonOverlapCands()
197 Vec_PtrShrink( vCands, k ); in Abc_NtkCollectNonOverlapCands()
232 void Abc_NtkCollectOverlapCands( Abc_Obj_t * pLut, Vec_Ptr_t * vCands, Nwk_LMPars_t * pPars ) in Abc_NtkCollectOverlapCands() argument
240 Vec_PtrClear( vCands ); in Abc_NtkCollectOverlapCands()
263 Vec_PtrPush( vCands, pObj ); in Abc_NtkCollectOverlapCands()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/
H A Dllb1Constr.c45 int Llb_ManCountEntries( Vec_Int_t * vCands ) in Llb_ManCountEntries() argument
48 Vec_IntForEachEntry( vCands, Entry, i ) in Llb_ManCountEntries()
64 void Llb_ManPrintEntries( Aig_Man_t * p, Vec_Int_t * vCands ) in Llb_ManPrintEntries() argument
67 if ( vCands == NULL ) in Llb_ManPrintEntries()
72 Entry = Llb_ManCountEntries(vCands); in Llb_ManPrintEntries()
74 Vec_IntForEachEntry( vCands, Entry, i ) in Llb_ManPrintEntries()
H A DllbInt.h118 extern void Llb_ManPrintEntries( Aig_Man_t * p, Vec_Int_t * vCands );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswClass.c515 Vec_PtrForEachEntry( Aig_Obj_t *, vCands, pObj, i ) in Ssw_ClassesPrepareRehash()
611 Vec_Ptr_t * vCands; in Ssw_ClassesPrepare() local
636 vCands = Vec_PtrAlloc( 1000 ); in Ssw_ClassesPrepare()
652 Vec_PtrPush( vCands, pObj ); in Ssw_ClassesPrepare()
658 Vec_PtrClear( vCands ); in Ssw_ClassesPrepare()
666 Vec_PtrPush( vCands, pObj ); in Ssw_ClassesPrepare()
676 Ssw_ClassesPrepareRehash( p, vCands, fConstCorr ); in Ssw_ClassesPrepare()
688 Vec_PtrClear( vCands ); in Ssw_ClassesPrepare()
691 Vec_PtrPush( vCands, pObj ); in Ssw_ClassesPrepare()
692 assert( Vec_PtrSize(vCands) == p->nCands1 ); in Ssw_ClassesPrepare()
[all …]
H A DsswRarity.c723 Vec_Ptr_t * vCands = Vec_PtrAlloc( 1000 ); in Ssw_RarManSimulate() local
726 Vec_PtrPush( vCands, pObj ); in Ssw_RarManSimulate()
727 assert( Vec_PtrSize(vCands) == Ssw_ClassesCand1Num(p->ppClasses) ); in Ssw_RarManSimulate()
728 Ssw_ClassesPrepareRehash( p->ppClasses, vCands, 0 ); in Ssw_RarManSimulate()
729 Vec_PtrFree( vCands ); in Ssw_RarManSimulate()
H A DsswInt.h233 extern int Ssw_ClassesPrepareRehash( Ssw_Cla_t * p, Vec_Ptr_t * vCands, int fConstCorr );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cgt/
H A DcgtAig.c45 …s_rec( Aig_Man_t * pAig, Vec_Int_t * vUseful, Aig_Obj_t * pObj, int nLevelMax, Vec_Ptr_t * vCands ) in Cgt_ManDetectCandidates_rec() argument
52 Cgt_ManDetectCandidates_rec( pAig, vUseful, Aig_ObjFanin0(pObj), nLevelMax, vCands ); in Cgt_ManDetectCandidates_rec()
53 Cgt_ManDetectCandidates_rec( pAig, vUseful, Aig_ObjFanin1(pObj), nLevelMax, vCands ); in Cgt_ManDetectCandidates_rec()
56 Vec_PtrPush( vCands, pObj ); in Cgt_ManDetectCandidates_rec()
70 …dates( Aig_Man_t * pAig, Vec_Int_t * vUseful, Aig_Obj_t * pObj, int nLevelMax, Vec_Ptr_t * vCands ) in Cgt_ManDetectCandidates() argument
72 Vec_PtrClear( vCands ); in Cgt_ManDetectCandidates()
76 Cgt_ManDetectCandidates_rec( pAig, vUseful, pObj, nLevelMax, vCands ); in Cgt_ManDetectCandidates()
H A DcgtDecide.c190 Vec_Ptr_t * vCands; in Cgt_ManDecideSimple() local
201 vCands = Vec_VecEntry( vGatesAll, i ); in Cgt_ManDecideSimple()
202 Vec_PtrForEachEntry( Aig_Obj_t *, vCands, pCand, k ) in Cgt_ManDecideSimple()
H A DcgtInt.h98 …ates( Aig_Man_t * pAig, Vec_Int_t * vUseful, Aig_Obj_t * pObj, int nLevelMax, Vec_Ptr_t * vCands );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/
H A DnwkMerge.c830 …ds( Nwk_Obj_t * pLut, Vec_Ptr_t * vStart, Vec_Ptr_t * vNext, Vec_Ptr_t * vCands, Nwk_LMPars_t * pP… in Nwk_ManCollectNonOverlapCands() argument
835 Vec_PtrClear( vCands ); in Nwk_ManCollectNonOverlapCands()
853 Vec_PtrPush( vCands, pObj ); in Nwk_ManCollectNonOverlapCands()
874 Vec_PtrForEachEntry( Nwk_Obj_t *, vCands, pObj, i ) in Nwk_ManCollectNonOverlapCands()
883 Vec_PtrWriteEntry( vCands, k++, pObj ); in Nwk_ManCollectNonOverlapCands()
885 Vec_PtrShrink( vCands, k ); in Nwk_ManCollectNonOverlapCands()
920 void Nwk_ManCollectOverlapCands( Nwk_Obj_t * pLut, Vec_Ptr_t * vCands, Nwk_LMPars_t * pPars ) in Nwk_ManCollectOverlapCands() argument
928 Vec_PtrClear( vCands ); in Nwk_ManCollectOverlapCands()
951 Vec_PtrPush( vCands, pObj ); in Nwk_ManCollectOverlapCands()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcBmcS.c303 …ec( Gia_Man_t * p, int iObj, Vec_Int_t * vRoots, Vec_Int_t * vRanks, Vec_Int_t * vCands, int Rank ) in Gia_ManCountRanks_rec() argument
309 Vec_IntWriteEntry( vCands, iObj, 1 ); in Gia_ManCountRanks_rec()
317 Gia_ManCountRanks_rec( p, Gia_ObjFaninId0(pObj, iObj), vRoots, vRanks, vCands, Rank ); in Gia_ManCountRanks_rec()
318 Gia_ManCountRanks_rec( p, Gia_ObjFaninId1(pObj, iObj), vRoots, vRanks, vCands, Rank ); in Gia_ManCountRanks_rec()
329 Vec_Int_t * vCands = Vec_IntStart( Gia_ManObjNum(p) ); in Gia_ManCountRanks() local
343 Gia_ManCountRanks_rec( p, iObj, vRoots, vRanks, vCands, t ); in Gia_ManCountRanks()
345 Vec_IntWriteEntry( vCands, 0, 0 ); in Gia_ManCountRanks()
346 …( "Tents = %6d. Cands = %6d. %10.2f %%\n", t, Vec_IntSum(vCands), 100.0*Vec_IntSum(vCands)/Gia_… in Gia_ManCountRanks()
349 Vec_IntFree( vCands ); in Gia_ManCountRanks()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/
H A DsfmTim.c374 int Sfm_TimPriorityNodes( Sfm_Tim_t * p, Vec_Int_t * vCands, int Window ) in Sfm_TimPriorityNodes() argument
392 Vec_IntClear( vCands ); in Sfm_TimPriorityNodes()
396 Vec_IntPush( vCands, Abc_ObjId(pObj) ); in Sfm_TimPriorityNodes()
398 return Vec_IntSize(vCands) > 0; in Sfm_TimPriorityNodes()
H A DsfmMit.c62 int Sfm_MitPriorityNodes( Sfm_Mit_t * p, Vec_Int_t * vCands, int Window ) … in Sfm_MitPriorityNodes() argument
H A DsfmInt.h228 extern int Sfm_TimPriorityNodes( Sfm_Tim_t * p, Vec_Int_t * vCands, int Window );
242 extern int Sfm_MitPriorityNodes( Sfm_Mit_t * p, Vec_Int_t * vCands, int Window );
H A DsfmDec.c100 Vec_Int_t vCands; member
293 Vec_IntErase( &p->vCands ); in Sfm_DecStop()
1995 Vec_IntFill( &p->vCands, 1, pPars->iNodeOne ); in Abc_NtkDelayOpt()
1996 else if ( p->pTim && !Sfm_TimPriorityNodes(p->pTim, &p->vCands, p->pPars->nTimeWin) ) in Abc_NtkDelayOpt()
1998 else if ( p->pMit && !Sfm_MitPriorityNodes(p->pMit, &p->vCands, p->pPars->nTimeWin) ) in Abc_NtkDelayOpt()
2001 Abc_NtkForEachObjVec( &p->vCands, p->pNtk, pObj, i ) in Abc_NtkDelayOpt()
2085 …OldId, Abc_NtkObjNumMax(p->pNtk), i, Vec_IntSize(&p->vCands), 100.0 * Vec_IntSize(&p->vCands) / Ab… in Abc_NtkDelayOpt()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/
H A DresInt.h92 Vec_Vec_t * vCands; // resubstitution candidates member
H A DresSim_old.c62 p->vCands = Vec_VecStart( 16 ); in Res_SimAlloc()
127 Vec_VecFree( p->vCands ); in Res_SimFree()
H A DresSim.c65 p->vCands = Vec_VecStart( 16 ); in Res_SimAlloc()
133 Vec_VecFree( p->vCands ); in Res_SimFree()