![]() |
OR-Tools
9.6
|
Definition at line 39 of file solve_interrupter.h.
Public Types | |
| using | Callback = std::function< void()> |
Public Member Functions | |
| DEFINE_STRONG_INT_TYPE (CallbackId, int64_t) | |
| SolveInterrupter ()=default | |
| SolveInterrupter (const SolveInterrupter &)=delete | |
| SolveInterrupter & | operator= (const SolveInterrupter &)=delete |
| void | Interrupt () |
| bool | IsInterrupted () const |
| CallbackId | AddInterruptionCallback (Callback callback) |
| void | RemoveInterruptionCallback (CallbackId id) |
| using Callback = std::function<void()> |
Definition at line 44 of file solve_interrupter.h.
|
default |
|
delete |
| SolveInterrupter::CallbackId AddInterruptionCallback | ( | Callback | callback | ) |
Definition at line 55 of file solve_interrupter.cc.
| DEFINE_STRONG_INT_TYPE | ( | CallbackId | , |
| int64_t | |||
| ) |
| void Interrupt | ( | ) |
Definition at line 30 of file solve_interrupter.cc.
|
inline |
Definition at line 63 of file solve_interrupter.h.
|
delete |
| void RemoveInterruptionCallback | ( | CallbackId | id | ) |
Definition at line 77 of file solve_interrupter.cc.