/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sim/ |
H A D | simSupp.c | 174 Vec_Ptr_t * vTargets; in Sim_ComputeSuppRound() local 184 vTargets = (Vec_Ptr_t *)p->vSuppTargs->pArray[i]; in Sim_ComputeSuppRound() 185 if ( fUseTargets && vTargets->nSize == 0 ) in Sim_ComputeSuppRound() 207 Vec_Ptr_t * vTargets; in Sim_ComputeSuppRoundNode() local 235 vTargets = (Vec_Ptr_t *)p->vSuppTargs->pArray[iNumCi]; in Sim_ComputeSuppRoundNode() 236 for ( i = vTargets->nSize - 1; i >= 0; i-- ) in Sim_ComputeSuppRoundNode() 239 Output = (int)(ABC_PTRUINT_T)vTargets->pArray[i]; in Sim_ComputeSuppRoundNode() 250 Vec_PtrRemove( vTargets, vTargets->pArray[i] ); in Sim_ComputeSuppRoundNode()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcRr.c | 792 Vec_Str_t * vTargets; in Abc_NtkRRSimulate() local 798 vTargets = Vec_StrStart( Abc_NtkObjNumMax(pNtk) + 1 ); in Abc_NtkRRSimulate() 803 Vec_StrWriteEntry( vTargets, pObj->Id, (char)Phase ); in Abc_NtkRRSimulate() 836 Sim_TraverseNodes_rec( Abc_NtkCi(pNtk, i), vTargets, vNodes ); in Abc_NtkRRSimulate() 847 Sim_SimulateCollected( vTargets, vNodes, vField ); in Abc_NtkRRSimulate() 855 return vTargets; in Abc_NtkRRSimulate() 869 void Sim_TraverseNodes_rec( Abc_Obj_t * pRoot, Vec_Str_t * vTargets, Vec_Ptr_t * vNodes ) in Sim_TraverseNodes_rec() argument 878 Entry = Vec_StrEntry(vTargets, pRoot->Id); in Sim_TraverseNodes_rec() 885 Sim_TraverseNodes_rec( pFanout, vTargets, vNodes ); in Sim_TraverseNodes_rec() 962 Phase = Vec_StrEntry( vTargets, pDisproved->Id ); in Sim_SimulateCollected() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswSemi.c | 41 Vec_Ptr_t * vTargets; // the nodes that are watched member 78 p->vTargets = Vec_PtrAlloc( Saig_ManPoNum(p->pMan->pAig) ); in Ssw_SemManStart() 80 Vec_PtrPush( p->vTargets, Aig_ObjFanin0(pObj) ); in Ssw_SemManStart() 112 Vec_PtrFree( p->vTargets ); in Ssw_SemManStop() 133 Vec_PtrForEachEntry( Aig_Obj_t *, p->vTargets, pObj, i ) in Ssw_SemCheckTargets()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcBmc2.c | 58 Vec_Ptr_t * vTargets; // targets to be solved in this interval member 331 p->vTargets = Vec_PtrAlloc( 1000 ); in Saig_BmcManStart() 356 Vec_PtrFree( p->vTargets ); in Saig_BmcManStop() 475 Vec_PtrClear( p->vTargets ); in Saig_BmcInterval() 490 Vec_PtrPush( p->vTargets, pTarget ); in Saig_BmcInterval() 551 Vec_PtrForEachEntry( Aig_Obj_t *, p->vTargets, pObj, i ) in Saig_BmcIntervalToAig() 650 for ( k = Vec_PtrSize(p->vTargets); k > iTargetFail; k-- ) in Saig_BmcDeriveFailed() 721 assert( Vec_PtrSize(p->vTargets) > 0 ); in Saig_BmcSolveTargets() 727 Vec_PtrForEachEntry( Aig_Obj_t *, p->vTargets, pObj, i ) in Saig_BmcSolveTargets() 793 Vec_PtrForEachEntry( Aig_Obj_t *, p->vTargets, pObj, i ) in Saig_BmcAddTargetsAsPos() [all …]
|
/dports/irc/znc/znc-1.8.2/src/ |
H A D | Client.cpp | 942 VCString vTargets; in OnActionMessage() local 943 sTargets.Split(",", vTargets, false); in OnActionMessage() 945 for (CString& sTarget : vTargets) { in OnActionMessage() 971 VCString vTargets; in OnCTCPMessage() local 972 sTargets.Split(",", vTargets, false); in OnCTCPMessage() 1000 for (CString& sTarget : vTargets) { in OnCTCPMessage() 1120 VCString vTargets; in OnNoticeMessage() local 1121 sTargets.Split(",", vTargets, false); in OnNoticeMessage() 1123 for (CString& sTarget : vTargets) { in OnNoticeMessage() 1232 VCString vTargets; in OnTextMessage() local [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbUtil.c | 552 Gia_Man_t * Acb_NtkToGia2( Acb_Ntk_t * p, int fUseXors, Vec_Int_t * vTargets, int nTargets ) in Acb_NtkToGia2() argument 562 if ( vTargets ) in Acb_NtkToGia2() 563 Vec_IntForEachEntry( vTargets, iObj, i ) in Acb_NtkToGia2() 596 int i, iObj, iLit, nTargets = Vec_IntSize(&p->vTargets); in Acb_NtkCollectCopies() 606 …Entry( vNodesR, iObj, Abc_UtilStrsav(Acb_ObjNameStr(p, Vec_IntEntry(&p->vTargets, i-(Gia_ManCiNum(… in Acb_NtkCollectCopies() 672 int nTargets = Vec_IntSize(&pNtkF->vTargets); in Acb_NtkExtract() 673 Gia_Man_t * pGiaF = Acb_NtkToGia2( pNtkF, fUseXors, &pNtkF->vTargets, 0 ); in Acb_NtkExtract()
|
H A D | acbFunc.c | 480 Vec_Int_t * Acb_NtkFindRoots( Acb_Ntk_t * p, Vec_Int_t * vTargets, Vec_Bit_t ** pvBlock ) in Acb_NtkFindRoots() argument 488 assert( Vec_IntSize(vTargets) > 0 ); in Acb_NtkFindRoots() 489 Vec_IntForEachEntry( vTargets, iObj, i ) in Acb_NtkFindRoots() 718 …ec_Int_t * vSupp, Vec_Int_t * vNodes, Vec_Int_t * vRoots, Vec_Int_t * vDivs, Vec_Int_t * vTargets ) in Acb_NtkToGia() argument 731 if ( vTargets ) in Acb_NtkToGia() 732 Vec_IntForEachEntry( vTargets, iObj, i ) in Acb_NtkToGia() 2487 int nTargets = Vec_IntSize(&pNtkF->vTargets); in Acb_NtkEcoPerform() 2493 Vec_Int_t * vRoots = Acb_NtkFindRoots( pNtkF, &pNtkF->vTargets, &vBlock ); in Acb_NtkEcoPerform() 2502 Gia_Man_t * pGiaF = Acb_NtkToGia( pNtkF, vSupp, vNodesF, vRoots, vDivs, &pNtkF->vTargets ); in Acb_NtkEcoPerform() 2646 vInst = Acb_GenerateInstance( pNtkF, vDivs, vUsed, &pNtkF->vTargets ); in Acb_NtkEcoPerform() [all …]
|
H A D | acbAbc.c | 189 Vec_IntPush( &pNtk->vTargets, ObjId ); in Acb_NtkFromNdr()
|
H A D | acb.h | 86 Vec_Int_t vTargets; // targets member 619 Vec_IntErase( &p->vTargets ); in Acb_NtkFree() 767 nMem += (int)Vec_IntMemory(&p->vTargets ); in Acb_NtkMemory()
|
/dports/textproc/p5-RDFStore/RDFStore-0.51/lib/RDFStore/Parser/ |
H A D | SiRPAC.pm | 1023 my $target = (defined $ele->{vTargets}->[0]) ? $ele->{vTargets}->[0] : undef; 1098 push @{$newNode->{vTargets}},$ele2; 1113 push @{$newNode->{vTargets}},$ele1; 1128 push @{$newNode->{vTargets}},$ele1; 1364 my $target = (defined $typedNode->{vTargets}->[0]) ? $typedNode->{vTargets}->[0] : undef; 1445 (scalar(@{$typedNode->{vTargets}})>0) ) { 1689 my $predicate_target = (defined $predicate->{vTargets}->[0]) ? $predicate->{vTargets}->[0] : undef; 1963 …my $description_target = (defined $description->{vTargets}->[0]) ? $description->{vTargets}->[0] :… 2321 vTargets => [],
|
/dports/games/zdoom/zdoom-2.8.1/tools/re2c/ |
H A D | code.cc | 957 std::set<uint> vTargets; in genGoto() local 984 vTargets.insert(to->label); in genGoto() 990 vTargets.insert(to->label); in genGoto() 994 lTargets = vTargets.size() >> nBitmaps; in genGoto()
|