/dports/math/cvc4/CVC4-1.7/src/theory/ |
H A D | theory.h | 372 context::UserContext* getUserContext() const { in getUserContext() function
|
H A D | quantifiers_engine.cpp | 269 context::UserContext* QuantifiersEngine::getUserContext() in getUserContext() function in QuantifiersEngine 271 return d_te->theoryOf(THEORY_QUANTIFIERS)->getUserContext(); in getUserContext()
|
H A D | theory_engine.h | 531 inline context::Context* getUserContext() const { in getUserContext() function
|
/dports/net-mgmt/py-pysnmp/pysnmp-4.4.9/pysnmp/entity/rfc3413/ |
H A D | ntforg.py | 365 mibViewController = snmpEngine.getUserContext('mibViewController')
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
H A D | ce_guided_single_inv.cpp | 59 d_c_inst_match_trie = new inst::CDInstMatchTrie(qe->getUserContext()); in CegSingleInv() 409 …adyExists = !d_c_inst_match_trie->addInstMatch( d_qe, d_single_inv, subs, d_qe->getUserContext() ); in doAddInstantiation()
|
/dports/graphics/opencv/opencv-4.5.3/modules/core/src/ |
H A D | ocl_disabled.impl.hpp | 183 std::shared_ptr<Context::UserContext> Context::getUserContext(std::type_index /*typeId*/) { OCL_NOT… in getUserContext() function in cv::ocl::Context
|
H A D | ocl.cpp | 2708 std::shared_ptr<UserContext> getUserContext(std::type_index typeId) { in getUserContext() function 3125 std::shared_ptr<Context::UserContext> Context::getUserContext(std::type_index typeId) in getUserContext() function in cv::ocl::Context 3128 return p->getUserContext(typeId); in getUserContext()
|
/dports/graphics/opencv/opencv-4.5.3/modules/videoio/src/ |
H A D | cap_ffmpeg_hw.hpp | 493 auto ocl_ffmpeg_context = ocl_context.getContext().getUserContext<OpenCL_FFMPEG_Context>(); in hw_create_context_from_opencl()
|
/dports/math/cvc4/CVC4-1.7/src/theory/uf/ |
H A D | theory_uf.cpp | 88 d_thss = new StrongSolverTheoryUF(getSatContext(), getUserContext(), *d_out, this); in finishInit()
|
H A D | theory_uf_strong_solver.cpp | 1659 rm = new SortModel( n, d_th->getSatContext(), d_th->getUserContext(), this ); in preRegisterTerm()
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/fmf/ |
H A D | bounded_integers.cpp | 494 d_quantEngine->getUserContext(), in checkOwnership()
|
/dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
H A D | nonlinear_extension.cpp | 160 d_lemmas(containing.getUserContext()), in NonlinearExtension() 161 d_zero_split(containing.getUserContext()), in NonlinearExtension() 162 d_skolem_atoms(containing.getUserContext()), in NonlinearExtension()
|
/dports/math/cvc4/CVC4-1.7/src/theory/strings/ |
H A D | theory_strings.cpp | 562 getSatContext(), getUserContext(), d_valuation)); in presolve()
|
/dports/www/element-web/element-v1.9.8/bundles/fe56de007a54db37c626/ |
H A D | vendors~init.js.map | 1 …e_store","cleanup","consume","getLogsForReport","getStorageContext","getUserContext","getEnabledLa…
|