Home
last modified time | relevance | path

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

1234

/dports/devel/kf5-ktexteditor/ktexteditor-5.89.0/src/undo/
H A Dkateundo.cpp324 safePoint(); in merge()
336 void KateUndoGroup::safePoint(bool safePoint) in safePoint() argument
338 m_safePoint = safePoint; in safePoint()
H A Dkateundo.h460 void safePoint(bool safePoint = true);
H A Dkateundomanager.cpp195 undoGroup->safePoint(); in undoSafePoint()
/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/
H A Dbvminisat.h53 void safePoint(unsigned amount) override { d_notify->safePoint(amount); } in safePoint() function
/dports/math/cvc4/CVC4-1.7/src/prop/
H A Dbv_sat_solver_notify.h42 virtual void safePoint(unsigned amount) = 0;
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Doutput_channel.h86 virtual void safePoint(uint64_t amount) {} in safePoint() function
H A Dtheory_test_utils.h71 void safePoint(uint64_t amount) override {} in safePoint() function
H A Dtheory_engine.h286 void safePoint(uint64_t amount) override { in safePoint() function
/dports/x11-wm/plasma5-kwin/kwin-5.23.5/src/plugins/platforms/x11/standalone/
H A Dx11_platform.h47 void createOpenGLSafePoint(OpenGLSafePoint safePoint) override;
H A Dx11_platform.cpp262 void X11StandalonePlatform::createOpenGLSafePoint(OpenGLSafePoint safePoint) in createOpenGLSafePoint() argument
266 switch (safePoint) { in createOpenGLSafePoint()
/dports/lang/nim/nim-1.6.2/compiler/
H A Dccgstmts.nim474 var safePoint = p.finallySafePoints[^1]
1350 var safePoint: Rope
1352 safePoint = getTempName(p.module)
1353 linefmt(p, cpsLocals, "#TSafePoint $1;$n", [safePoint])
1354 linefmt(p, cpsStmts, "#pushSafePoint(&$1);$n", [safePoint])
1356 linefmt(p, cpsStmts, "$1.status = setjmp($1.context);$n", [safePoint])
1373 linefmt(p, cpsStmts, "$1.status = setjmp($1.context);$n", [safePoint])
1374 lineCg(p, cpsStmts, "if ($1.status == 0) {$n", [safePoint])
1398 linefmt(p, cpsStmts, "$1.status = 0;$n", [safePoint])
1417 linefmt(p, cpsStmts, "$1.status = 0;$n", [safePoint])
[all …]
/dports/math/cvc4/CVC4-1.7/src/theory/bv/bitblast/
H A Dlazy_bitblaster.h124 void safePoint(unsigned amount) override;
H A Dlazy_bitblaster.cpp434 void TLazyBitblaster::MinisatNotify::safePoint(unsigned amount) in safePoint() function in CVC4::theory::bv::TLazyBitblaster::MinisatNotify
436 d_bv->d_out->safePoint(amount); in safePoint()
H A Dbitblaster.h116 void safePoint(unsigned amount) override {} in safePoint() function
/dports/x11-wm/plasma5-kwin/kwin-5.23.5/src/
H A Dplatform.cpp529 void Platform::createOpenGLSafePoint(OpenGLSafePoint safePoint) in createOpenGLSafePoint() argument
531 Q_UNUSED(safePoint) in createOpenGLSafePoint()
H A Dplatform.h167 virtual void createOpenGLSafePoint(OpenGLSafePoint safePoint);
/dports/math/cvc4/CVC4-1.7/test/unit/theory/
H A Dtheory_white.h48 void safePoint(uint64_t amount) override {} in safePoint() function
/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/
H A DSolver.h68 virtual void safePoint(unsigned amount) = 0;
H A DSolver.cc1489 d_notify->safePoint(0); in withinBudget()
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dinstantiate.cpp106 d_qe->getOutputChannel().safePoint(options::quantifierStep()); in addInstantiation()
/dports/lang/nim/nim-1.6.2/c_code/5_6/
H A D@mcgen.nim.c42525 safePoint = (*T18_); in N_NIMCALL()
42531 cgFormatValue__cgen_141((&res), safePoint); in N_NIMCALL()
44864 safePoint = NIM_NIL; in N_NIMCALL()
44890 cgFormatValue__cgen_141((&res), safePoint); in N_NIMCALL()
44912 cgFormatValue__cgen_141((&res_2), safePoint); in N_NIMCALL()
44938 cgFormatValue__cgen_141((&res_3), safePoint); in N_NIMCALL()
44941 cgFormatValue__cgen_141((&res_3), safePoint); in N_NIMCALL()
44970 cgFormatValue__cgen_141((&res_4), safePoint); in N_NIMCALL()
44973 cgFormatValue__cgen_141((&res_4), safePoint); in N_NIMCALL()
45002 cgFormatValue__cgen_141((&res_5), safePoint); in N_NIMCALL()
[all …]
/dports/lang/nim/nim-1.6.2/c_code/5_7/
H A D@mcgen.nim.c42527 safePoint = (*T18_); in N_NIMCALL()
42533 cgFormatValue__cgen_141((&res), safePoint); in N_NIMCALL()
44866 safePoint = NIM_NIL; in N_NIMCALL()
44892 cgFormatValue__cgen_141((&res), safePoint); in N_NIMCALL()
44914 cgFormatValue__cgen_141((&res_2), safePoint); in N_NIMCALL()
44940 cgFormatValue__cgen_141((&res_3), safePoint); in N_NIMCALL()
44943 cgFormatValue__cgen_141((&res_3), safePoint); in N_NIMCALL()
44972 cgFormatValue__cgen_141((&res_4), safePoint); in N_NIMCALL()
44975 cgFormatValue__cgen_141((&res_4), safePoint); in N_NIMCALL()
45004 cgFormatValue__cgen_141((&res_5), safePoint); in N_NIMCALL()
[all …]
/dports/lang/nim/nim-1.6.2/c_code/12_17/
H A D@mcgen.nim.c42526 safePoint = (*T18_); in N_NIMCALL()
42532 cgFormatValue__cgen_141((&res), safePoint); in N_NIMCALL()
44865 safePoint = NIM_NIL; in N_NIMCALL()
44891 cgFormatValue__cgen_141((&res), safePoint); in N_NIMCALL()
44913 cgFormatValue__cgen_141((&res_2), safePoint); in N_NIMCALL()
44939 cgFormatValue__cgen_141((&res_3), safePoint); in N_NIMCALL()
44942 cgFormatValue__cgen_141((&res_3), safePoint); in N_NIMCALL()
44971 cgFormatValue__cgen_141((&res_4), safePoint); in N_NIMCALL()
44974 cgFormatValue__cgen_141((&res_4), safePoint); in N_NIMCALL()
45003 cgFormatValue__cgen_141((&res_5), safePoint); in N_NIMCALL()
[all …]
/dports/lang/nim/nim-1.6.2/c_code/1_2/
H A D@mcgen.nim.c42525 safePoint = (*T18_); in N_NIMCALL()
42531 cgFormatValue__cgen_141((&res), safePoint); in N_NIMCALL()
44864 safePoint = NIM_NIL; in N_NIMCALL()
44890 cgFormatValue__cgen_141((&res), safePoint); in N_NIMCALL()
44912 cgFormatValue__cgen_141((&res_2), safePoint); in N_NIMCALL()
44938 cgFormatValue__cgen_141((&res_3), safePoint); in N_NIMCALL()
44941 cgFormatValue__cgen_141((&res_3), safePoint); in N_NIMCALL()
44970 cgFormatValue__cgen_141((&res_4), safePoint); in N_NIMCALL()
44973 cgFormatValue__cgen_141((&res_4), safePoint); in N_NIMCALL()
45002 cgFormatValue__cgen_141((&res_5), safePoint); in N_NIMCALL()
[all …]
/dports/lang/nim/nim-1.6.2/c_code/11_7/
H A D@mcgen.nim.c42527 safePoint = (*T18_); in N_NIMCALL()
42533 cgFormatValue__cgen_141((&res), safePoint); in N_NIMCALL()
44866 safePoint = NIM_NIL; in N_NIMCALL()
44892 cgFormatValue__cgen_141((&res), safePoint); in N_NIMCALL()
44914 cgFormatValue__cgen_141((&res_2), safePoint); in N_NIMCALL()
44940 cgFormatValue__cgen_141((&res_3), safePoint); in N_NIMCALL()
44943 cgFormatValue__cgen_141((&res_3), safePoint); in N_NIMCALL()
44972 cgFormatValue__cgen_141((&res_4), safePoint); in N_NIMCALL()
44975 cgFormatValue__cgen_141((&res_4), safePoint); in N_NIMCALL()
45004 cgFormatValue__cgen_141((&res_5), safePoint); in N_NIMCALL()
[all …]

1234