/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigConstr2.c | 569 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 D | saigUnfold2.c | 68 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 D | giaSplit.c | 50 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 D | giaSimBase.c | 37 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 D | fahout_cut.c | 142 …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 D | abcMerge.c | 142 …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 D | llb1Constr.c | 45 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 D | llbInt.h | 118 extern void Llb_ManPrintEntries( Aig_Man_t * p, Vec_Int_t * vCands );
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswClass.c | 515 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 D | sswRarity.c | 723 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 D | sswInt.h | 233 extern int Ssw_ClassesPrepareRehash( Ssw_Cla_t * p, Vec_Ptr_t * vCands, int fConstCorr );
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cgt/ |
H A D | cgtAig.c | 45 …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 D | cgtDecide.c | 190 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 D | cgtInt.h | 98 …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 D | nwkMerge.c | 830 …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 D | bmcBmcS.c | 303 …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 D | sfmTim.c | 374 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 D | sfmMit.c | 62 int Sfm_MitPriorityNodes( Sfm_Mit_t * p, Vec_Int_t * vCands, int Window ) … in Sfm_MitPriorityNodes() argument
|
H A D | sfmInt.h | 228 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 D | sfmDec.c | 100 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 D | resInt.h | 92 Vec_Vec_t * vCands; // resubstitution candidates member
|
H A D | resSim_old.c | 62 p->vCands = Vec_VecStart( 16 ); in Res_SimAlloc() 127 Vec_VecFree( p->vCands ); in Res_SimFree()
|
H A D | resSim.c | 65 p->vCands = Vec_VecStart( 16 ); in Res_SimAlloc() 133 Vec_VecFree( p->vCands ); in Res_SimFree()
|