Home
last modified time | relevance | path

Searched defs:safePoint (Results 1 – 25 of 67) sorted by relevance

123

/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/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/devel/kf5-ktexteditor/ktexteditor-5.89.0/src/undo/
H A Dkateundo.cpp336 void KateUndoGroup::safePoint(bool safePoint) in safePoint() function in KateUndoGroup
/dports/math/cvc4/CVC4-1.7/src/theory/bv/bitblast/
H A Dbitblaster.h116 void safePoint(unsigned amount) override {} in safePoint() function
H A Dlazy_bitblaster.cpp434 void TLazyBitblaster::MinisatNotify::safePoint(unsigned amount) in safePoint() function in CVC4::theory::bv::TLazyBitblaster::MinisatNotify
/dports/math/cvc4/CVC4-1.7/test/unit/theory/
H A Dtheory_white.h48 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.cpp262 void X11StandalonePlatform::createOpenGLSafePoint(OpenGLSafePoint safePoint) in createOpenGLSafePoint()
/dports/x11-wm/plasma5-kwin/kwin-5.23.5/src/
H A Dplatform.cpp529 void Platform::createOpenGLSafePoint(OpenGLSafePoint safePoint) in createOpenGLSafePoint()
/dports/lang/nim/nim-1.6.2/c_code/5_6/
H A D@mcgen.nim.c42509 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
44818 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
/dports/lang/nim/nim-1.6.2/c_code/5_7/
H A D@mcgen.nim.c42511 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
44820 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
/dports/lang/nim/nim-1.6.2/c_code/12_17/
H A D@mcgen.nim.c42510 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
44819 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
/dports/lang/nim/nim-1.6.2/c_code/1_2/
H A D@mcgen.nim.c42509 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
44818 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
/dports/lang/nim/nim-1.6.2/c_code/11_7/
H A D@mcgen.nim.c42511 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
44820 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
/dports/lang/nim/nim-1.6.2/c_code/2_1/
H A D@mcgen.nim.c42510 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
44819 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
/dports/lang/nim/nim-1.6.2/c_code/2_11/
H A D@mcgen.nim.c42510 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
44819 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
/dports/lang/nim/nim-1.6.2/c_code/10_1/
H A D@mcgen.nim.c42510 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
44819 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
/dports/lang/nim/nim-1.6.2/c_code/2_16/
H A D@mcgen.nim.c42509 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
44818 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
/dports/lang/nim/nim-1.6.2/c_code/2_18/
H A D@mcgen.nim.c42510 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
44819 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
/dports/lang/nim/nim-1.6.2/c_code/4_8/
H A D@mcgen.nim.c42510 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
44819 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
/dports/lang/nim/nim-1.6.2/c_code/4_1/
H A D@mcgen.nim.c42510 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
44819 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
/dports/lang/nim/nim-1.6.2/c_code/4_2/
H A D@mcgen.nim.c42509 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
44818 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
/dports/lang/nim/nim-1.6.2/c_code/3_6/
H A D@mcgen.nim.c42509 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
44818 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
/dports/lang/nim/nim-1.6.2/c_code/2_6/
H A D@mcgen.nim.c42509 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local
44818 tyObject_RopeObj__OFzf0kSiPTcNreUIeJgWVA* safePoint; in N_NIMCALL() local

123