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 |