/dports/devel/kf5-ktexteditor/ktexteditor-5.89.0/src/undo/ |
H A D | kateundo.cpp | 324 safePoint(); in merge() 336 void KateUndoGroup::safePoint(bool safePoint) in safePoint() argument 338 m_safePoint = safePoint; in safePoint()
|
H A D | kateundo.h | 460 void safePoint(bool safePoint = true);
|
H A D | kateundomanager.cpp | 195 undoGroup->safePoint(); in undoSafePoint()
|
/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/ |
H A D | bvminisat.h | 53 void safePoint(unsigned amount) override { d_notify->safePoint(amount); } in safePoint() function
|
/dports/math/cvc4/CVC4-1.7/src/prop/ |
H A D | bv_sat_solver_notify.h | 42 virtual void safePoint(unsigned amount) = 0;
|
/dports/math/cvc4/CVC4-1.7/src/theory/ |
H A D | output_channel.h | 86 virtual void safePoint(uint64_t amount) {} in safePoint() function
|
H A D | theory_test_utils.h | 71 void safePoint(uint64_t amount) override {} in safePoint() function
|
H A D | theory_engine.h | 286 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 D | x11_platform.h | 47 void createOpenGLSafePoint(OpenGLSafePoint safePoint) override;
|
H A D | x11_platform.cpp | 262 void X11StandalonePlatform::createOpenGLSafePoint(OpenGLSafePoint safePoint) in createOpenGLSafePoint() argument 266 switch (safePoint) { in createOpenGLSafePoint()
|
/dports/lang/nim/nim-1.6.2/compiler/ |
H A D | ccgstmts.nim | 474 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 D | lazy_bitblaster.h | 124 void safePoint(unsigned amount) override;
|
H A D | lazy_bitblaster.cpp | 434 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 D | bitblaster.h | 116 void safePoint(unsigned amount) override {} in safePoint() function
|
/dports/x11-wm/plasma5-kwin/kwin-5.23.5/src/ |
H A D | platform.cpp | 529 void Platform::createOpenGLSafePoint(OpenGLSafePoint safePoint) in createOpenGLSafePoint() argument 531 Q_UNUSED(safePoint) in createOpenGLSafePoint()
|
H A D | platform.h | 167 virtual void createOpenGLSafePoint(OpenGLSafePoint safePoint);
|
/dports/math/cvc4/CVC4-1.7/test/unit/theory/ |
H A D | theory_white.h | 48 void safePoint(uint64_t amount) override {} in safePoint() function
|
/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/ |
H A D | Solver.h | 68 virtual void safePoint(unsigned amount) = 0;
|
H A D | Solver.cc | 1489 d_notify->safePoint(0); in withinBudget()
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
H A D | instantiate.cpp | 106 d_qe->getOutputChannel().safePoint(options::quantifierStep()); in addInstantiation()
|
/dports/lang/nim/nim-1.6.2/c_code/5_6/ |
H A D | @mcgen.nim.c | 42525 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.c | 42527 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.c | 42526 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.c | 42525 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.c | 42527 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 …]
|