Clingo
Loading...
Searching...
No Matches
CppClingo::Control::SolveHandle Member List

This is the complete list of members for CppClingo::Control::SolveHandle, including all inherited members.

cancel()CppClingo::Control::SolveHandleinline
core() -> PrgLitSpanCppClingo::Control::SolveHandleinline
get() -> SolveResultCppClingo::Control::SolveHandleinline
last() -> Model const *CppClingo::Control::SolveHandleinline
model() -> Model const *CppClingo::Control::SolveHandleinline
resume()CppClingo::Control::SolveHandleinline
wait(double timeout) -> boolCppClingo::Control::SolveHandleinline
~SolveHandle()=defaultCppClingo::Control::SolveHandlevirtual