Home
last modified time | relevance | path

Searched refs:vTargets (Results 1 – 11 of 11) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sim/
H A DsimSupp.c174 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 DabcRr.c792 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 DsswSemi.c41 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 DbmcBmc2.c58 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 DClient.cpp942 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 DacbUtil.c552 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 DacbFunc.c480 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 DacbAbc.c189 Vec_IntPush( &pNtk->vTargets, ObjId ); in Acb_NtkFromNdr()
H A Dacb.h86 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 DSiRPAC.pm1023 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 Dcode.cc957 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()