Searched refs:event_detach (Results 1 – 4 of 4) sorted by relevance
| /dports/math/clasp/clasp-3.3.5/src/ |
| H A D | clasp_facade.cpp | 208 enum Event { event_attach, event_model, event_resume, event_detach }; enumerator
277 case event_detach: state_ = state_done; break; in doNotify()
347 doNotify(event_detach); in detachAlgo()
400 case event_detach: state_ = state_done; break; in doNotify()
|
| /dports/math/clingo/clingo-5.5.1/clasp/src/ |
| H A D | clasp_facade.cpp | 208 enum Event { event_attach, event_model, event_resume, event_detach }; enumerator
283 case event_detach: state_ = state_done; break; in doNotify()
355 doNotify(event_detach); in detachAlgo()
408 case event_detach: state_ = state_done; break; in doNotify()
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
| H A D | clasp_facade.cpp | 208 enum Event { event_attach, event_model, event_resume, event_detach }; enumerator
283 case event_detach: state_ = state_done; break; in doNotify()
355 doNotify(event_detach); in detachAlgo()
408 case event_detach: state_ = state_done; break; in doNotify()
|
| /dports/multimedia/vlc/vlc-3.0.16/doc/ |
| H A D | ChangeLog-2008 | 53765 …misc/events.c: Fix event sending, by properly supporting event_manager edition (event_detach) whil…
|