|
Clingo
|
This is the complete list of members for CppClingo::Control::SolveHandle, including all inherited members.
| cancel() | CppClingo::Control::SolveHandle | inline |
| core() -> PrgLitSpan | CppClingo::Control::SolveHandle | inline |
| get() -> SolveResult | CppClingo::Control::SolveHandle | inline |
| last() -> Model const * | CppClingo::Control::SolveHandle | inline |
| model() -> Model const * | CppClingo::Control::SolveHandle | inline |
| resume() | CppClingo::Control::SolveHandle | inline |
| wait(double timeout) -> bool | CppClingo::Control::SolveHandle | inline |
| ~SolveHandle()=default | CppClingo::Control::SolveHandle | virtual |