Home
last modified time | relevance | path

Searched refs:vCore (Results 1 – 25 of 25) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/
H A DsatProof.c609 Vec_Int_t * vCore; in Sat_ProofCollectCore() local
621 vCore = Vec_IntAlloc( 1000 ); in Sat_ProofCollectCore()
630 Vec_IntPush( vCore, Entry ); in Sat_ProofCollectCore()
634 return vCore; in Sat_ProofCollectCore()
721 vCore = Sat_ProofCollectCore( vProof, vUsed );
783 Vec_IntFree( vCore );
892 Vec_IntFree( vCore );
916 Vec_Int_t * vCore, * vUsed; in Proof_DeriveCore() local
922 vCore = Sat_ProofCollectCore( vProof, vUsed ); in Proof_DeriveCore()
924 Vec_IntSort( vCore, 1 ); in Proof_DeriveCore()
[all …]
H A DsatProof2.h289 Vec_Int_t * vCore; in Prf_ManUnsatCore() local
294 vCore = Vec_IntAlloc( 64 * p->nWords ); in Prf_ManUnsatCore()
300 Vec_IntPush( vCore, i ); in Prf_ManUnsatCore()
310 Vec_IntPush( vCore, i ); in Prf_ManUnsatCore()
314 Vec_IntSort( vCore, 1 ); in Prf_ManUnsatCore()
315 return vCore; in Prf_ManUnsatCore()
H A DsatInterP.c859 void Intp_ManUnsatCoreVerify( Sto_Man_t * pCnf, Vec_Int_t * vCore ) in Intp_ManUnsatCoreVerify() argument
878 Vec_IntForEachEntry( vCore, iClause, i ) in Intp_ManUnsatCoreVerify()
932 Vec_IntPush( vCore, iThis ); in Intp_ManUnsatCore_rec()
943 Intp_ManUnsatCore_rec( vAntClas, Entry, vCore, nRoots, vVisited, fLearned ); in Intp_ManUnsatCore_rec()
946 Vec_IntPush( vCore, iThis ); in Intp_ManUnsatCore_rec()
965 Vec_Int_t * vCore; in Intp_ManUnsatCore() local
1037 vCore = Vec_IntAlloc( 1000 ); in Intp_ManUnsatCore()
1045 return vCore; in Intp_ManUnsatCore()
1061 Vec_Int_t * vCore = (Vec_Int_t *)vCore0; in Intp_ManUnsatCorePrintForBmc() local
1071 fprintf( pFile, "UNSAT contains %d learned clauses:\n", Vec_IntSize(vCore) ); in Intp_ManUnsatCorePrintForBmc()
[all …]
H A DsatStore.h146 extern void Intp_ManUnsatCorePrintForBmc( FILE * pFile, Sto_Man_t * pCnf, void * vCore, voi…
/dports/devel/py-azure-mgmt-reservations/azure-mgmt-reservations-0.7.0/tests/recordings/
H A Dtest_mgmt_reservations.test_get_catalog.yaml125 …Instance Business Critical - Compute Gen5"},{"name":"SkuName","value":"vCore"},{"name":"MeterId","…
126 …vCore Hour"},{"name":"SkuDisplayName","value":"vCore"}],"restrictions":[{"type":"Location","values…
129 …Instance General Purpose - Compute Gen5"},{"name":"SkuName","value":"vCore"},{"name":"MeterId","va…
130 …vCore Hour"},{"name":"SkuDisplayName","value":"vCore"}],"restrictions":[]},{"resourceType":"SQLMan…
134 …vCore Hour"},{"name":"SkuDisplayName","value":"vCore"}],"restrictions":[{"type":"Location","values…
137 …Instance General Purpose - Compute Gen4"},{"name":"SkuName","value":"vCore"},{"name":"MeterId","va…
138 …vCore Hour"},{"name":"SkuDisplayName","value":"vCore"}],"restrictions":[]},{"resourceType":"SQLDat…
142 …vCore Hour"},{"name":"SkuDisplayName","value":"vCore"}],"restrictions":[]},{"resourceType":"SQLDat…
146 …vCore Hour"},{"name":"SkuDisplayName","value":"vCore"}],"restrictions":[]},{"resourceType":"SQLDat…
150 …vCore Hour"},{"name":"SkuDisplayName","value":"vCore"}],"restrictions":[]},{"resourceType":"SQLDat…
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigGlaPba2.c395 Vec_Int_t * vCore; in Aig_Gla3ManUnsatCore() local
423 vCore = (Vec_Int_t *)Sat_ProofCore( pSat ); in Aig_Gla3ManUnsatCore()
426 …printf( "SAT core contains %8d clauses (out of %8d). ", Vec_IntSize(vCore), sat_solver2_nclauses… in Aig_Gla3ManUnsatCore()
429 return vCore; in Aig_Gla3ManUnsatCore()
443 Vec_Int_t * Aig_Gla3ManCollect( Aig_Gla3Man_t * p, Vec_Int_t * vCore ) in Aig_Gla3ManCollect() argument
452 Vec_IntForEachEntry( vCore, ClaId, i ) in Aig_Gla3ManCollect()
498 Vec_Int_t * vCore, * vResult; in Aig_Gla3ManPerform() local
528 vCore = Aig_Gla3ManUnsatCore( p->pSat, nConfLimit, fVerbose, NULL ); in Aig_Gla3ManPerform()
529 if ( vCore == NULL ) in Aig_Gla3ManPerform()
546 vResult = Aig_Gla3ManCollect( p, vCore ); in Aig_Gla3ManPerform()
[all …]
H A DsaigGlaPba.c401 Vec_Int_t * vCore; in Saig_AbsSolverUnsatCore() local
432 vCore = (Vec_Int_t *)Intp_ManUnsatCore( pManProof, (Sto_Man_t *)pSatCnf, 0, 0 ); in Saig_AbsSolverUnsatCore()
436 …printf( "SAT core contains %8d clauses (out of %8d). ", Vec_IntSize(vCore), sat_solver_nclauses(… in Saig_AbsSolverUnsatCore()
440 return vCore; in Saig_AbsSolverUnsatCore()
454 Vec_Int_t * Aig_Gla2ManCollect( Aig_Gla2Man_t * p, Vec_Int_t * vCore ) in Aig_Gla2ManCollect() argument
463 Vec_IntForEachEntry( vCore, ClaId, i ) in Aig_Gla2ManCollect()
528 Vec_Int_t * vCore, * vResult; in Aig_Gla2ManPerform() local
559 vCore = Saig_AbsSolverUnsatCore( p->pSat, nConfLimit, fVerbose, NULL ); in Aig_Gla2ManPerform()
560 if ( vCore == NULL ) in Aig_Gla2ManPerform()
577 vResult = Aig_Gla2ManCollect( p, vCore ); in Aig_Gla2ManPerform()
[all …]
H A DsaigRetMin.c102 Vec_Int_t * vCore = NULL; in Saig_ManRetimeUnsatCore() local
131 vCore = (Vec_Int_t *)Intp_ManUnsatCore( pManProof, (Sto_Man_t *)pSatCnf, 0, fVeryVerbose ); in Saig_ManRetimeUnsatCore()
139 Vec_IntForEachEntry( vCore, iClause, i ) in Saig_ManRetimeUnsatCore()
174 … printf( "UNSAT core: %d clauses, %d variables, %d POs. ", Vec_IntSize(vCore), nVars, nPos ); in Saig_ManRetimeUnsatCore()
176 Vec_IntFree( vCore ); in Saig_ManRetimeUnsatCore()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsVta.c1086 Vec_Int_t * vCore; in Vta_ManUnsatCore() local
1096 return vCore; in Vta_ManUnsatCore()
1129 return vCore; in Vta_ManUnsatCore()
1149 if ( vCore ) in Vta_ManAbsPrintFrame()
1200 if ( vCore == NULL ) in Vta_ManAbsPrintFrame()
1235 if ( vCore ) in Vta_ManAbsPrintFrame()
1495 Vec_Int_t * vCore; in Gia_VtaPerformInt() local
1581 if ( vCore != NULL ) in Gia_VtaPerformInt()
1601 Vec_IntSort( vCore, 1 ); in Gia_VtaPerformInt()
1608 Vec_IntFree( vCore ); in Gia_VtaPerformInt()
[all …]
H A DabsGlaOld.c1447 Vec_Int_t * vCore = NULL; in Gla_ManUnsatCore() local
1457 vCore = Vec_IntAlloc( 1 ); in Gla_ManUnsatCore()
1459 return vCore; in Gla_ManUnsatCore()
1487 if ( vCore ) in Gla_ManUnsatCore()
1488 Vec_IntSort( vCore, 1 ); in Gla_ManUnsatCore()
1494 return vCore; in Gla_ManUnsatCore()
1814 if ( vCore ) in Gia_ManPerformGlaOld()
1822 Vec_IntFreeP( &vCore ); in Gia_ManPerformGlaOld()
1835 Gia_GlaAddToAbs( p, vCore, 0 ); in Gia_ManPerformGlaOld()
1837 Vec_IntFree( vCore ); in Gia_ManPerformGlaOld()
[all …]
H A DabsRef.c126 Vec_Int_t * vVisited, * vFlops, * vCore, * vCoreFinal;
202 vCore = (Vec_Int_t *)Sat_ProofCore( p->pSat );
205 Vec_IntAppend( vCoreFinal, vCore );
209 Vec_IntFree( vCore );
H A DabsGla.c1504 Vec_Int_t * vCore, * vPPis; in Gia_ManPerformGla() local
1713 vCore = (Vec_Int_t *)Sat_ProofCore( p->pSat ); in Gia_ManPerformGla()
1737 … Prf_ManRestart( p->pSat->pPrf2, p->vProofIds, sat_solver2_nlearnts(p->pSat), Vec_IntSize(vCore) ); in Gia_ManPerformGla()
1739 Ga2_ManAddToAbs( p, vCore ); in Gia_ManPerformGla()
1740 Vec_IntFree( vCore ); in Gia_ManPerformGla()
1752 vCore = (Vec_Int_t *)Sat_ProofCore( p->pSat ); in Gia_ManPerformGla()
1761 Ga2_ManAddToAbs( p, vCore ); in Gia_ManPerformGla()
1763 Vec_IntFree( vCore ); in Gia_ManPerformGla()
/dports/net-im/qTox/qTox-1.17.4/src/core/
H A Dcorefile.h96 void* vCore);
98 Tox_File_Control control, void* vCore);
100 size_t length, void* vCore);
102 const uint8_t* data, size_t length, void* vCore);
H A Dcore.h207 void* vCore);
209 const uint8_t* cookie, size_t length, void* vCore);
211 const uint8_t* cMessage, size_t length, void* vCore);
216 const uint8_t* cTitle, size_t length, void* vCore);
H A Dcore.cpp563 Core* core = static_cast<Core*>(vCore); in onConnectionStatusChanged()
575 const uint8_t* cookie, size_t length, void* vCore) in onGroupInvite() argument
577 Core* core = static_cast<Core*>(vCore); in onGroupInvite()
597 const uint8_t* cMessage, size_t length, void* vCore) in onGroupMessage() argument
599 Core* core = static_cast<Core*>(vCore); in onGroupMessage()
605 void Core::onGroupPeerListChange(Tox*, uint32_t groupId, void* vCore) in onGroupPeerListChange() argument
607 const auto core = static_cast<Core*>(vCore); in onGroupPeerListChange()
614 size_t length, void* vCore) in onGroupPeerNameChange() argument
618 auto* core = static_cast<Core*>(vCore); in onGroupPeerNameChange()
624 size_t length, void* vCore) in onGroupTitleChange() argument
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcBCore.c200 Vec_Int_t * vVarMap, * vCore; in Bmc_ManBCorePerform() local
247 vCore = (Vec_Int_t *)Intp_ManUnsatCore( pManProof, (Sto_Man_t *)pSatCnf, 1, pPars->fVerbose ); in Bmc_ManBCorePerform()
251 …printf( "UNSAT core contains %d (out of %d) learned clauses. ", Vec_IntSize(vCore), sat_solver_n… in Bmc_ManBCorePerform()
255 Vec_IntSort( vCore, 0 ); in Bmc_ManBCorePerform()
257 Intp_ManUnsatCorePrintForBmc( pFile, (Sto_Man_t *)pSatCnf, vCore, vVarMap ); in Bmc_ManBCorePerform()
263 Vec_IntFree( vCore ); in Bmc_ManBCorePerform()
/dports/net-mgmt/librenms/librenms-21.5.1/doc/Support/
H A DExample-Hardware-Setup.md150 | CPU | 1 vCore | |
167 | CPU | 2 vCore | |
203 | CPU | 2 vCore | |
/dports/devel/py-azure-mgmt-consumption/azure-mgmt-consumption-3.0.0/tests/recordings/
H A Dtest_mgmt_consumption.test_consumption_subscription_price_sheet_expand.yaml134 Services Azure Database for PostgreSQL Mem and Storage Opt vCore ReadRep G5
203 Services Azure Database for MySQL Mem and Storage Opt vCore G5 - IN West -
223 Services Azure Database for PostgreSQL Mem and Storage Opt vCore ReadRep G4
263 Services Azure Database for PostgreSQL Mem and Storage Opt vCore ReadRep G5
497 Services Azure Database for PostgreSQL Basic vCore G4 - US South Central -
560 Services Azure Database for PostgreSQL Basic vCore G4 - US North Central -
805 Services Azure Database for PostgreSQL Gen Pur vCore G5 - US North Central
981 Services Azure Database for PostgreSQL Mem Opt vCore ReadRep G4 - US West
1065 Services Azure Database for PostgreSQL Gen Pur vCore ReadRep G4 - US East
1132 Services Azure Database for PostgreSQL Gen Pur vCore ReadRep G5 - JA West
[all …]
/dports/graphics/dataplot/dataplot-2c1b27601a3b7523449de612613eadeead9a8f70/lib/10step/
H A DMILLS_20_256.DP67 let string sty10 = Cloud-wide vCore Util
73 let string sty16 = Cluster Variance vCore Util
/dports/net-im/toxext/toxext-0.0.3/
H A DREADME.md106 const uint8_t* data, size_t length, void* vCore)
108 Core* core = static_cast<Core*>(vCore);
/dports/multimedia/opentoonz/opentoonz-1.5.0/toonz/sources/toonz/
H A Dvectorizerpopup.cpp231 VectorizerCore vCore; in doVectorize() local
232 connect(&vCore, SIGNAL(partialDone(int, int)), this, in doVectorize()
234 connect(this, SIGNAL(transmitCancel()), &vCore, SLOT(onCancel()), in doVectorize()
237 return vCore.vectorize(img, conf, palette); in doVectorize()
/dports/devel/py-azure-mgmt-sql/azure-mgmt-sql-3.0.1/
H A DCHANGELOG.md621 vCore-based editions.
646 capabilities of new vCore-based database and elastic pool editions.
H A DPKG-INFO658 vCore-based editions.
683 capabilities of new vCore-based database and elastic pool editions.
/dports/devel/py-azure-mgmt-sql/azure-mgmt-sql-3.0.1/azure_mgmt_sql.egg-info/
H A DPKG-INFO658 vCore-based editions.
683 capabilities of new vCore-based database and elastic pool editions.
/dports/net-mgmt/observium/observium/mibs/dell/
H A DDELLBASEBOARDMIF-MIB387 vCore (10)