Clingo
|
This is the complete list of members for Clingo::SolveHandle, including all inherited members.
begin() -> iterator | Clingo::SolveHandle | inline |
c_cast | Clingo::SolveHandle | friend |
cancel() | Clingo::SolveHandle | inline |
close() | Clingo::SolveHandle | inline |
Control (defined in Clingo::SolveHandle) | Clingo::SolveHandle | friend |
core() const -> ProgramLiteralSpan | Clingo::SolveHandle | inline |
difference_type typedef | Clingo::SolveHandle | |
end() -> sentinel | Clingo::SolveHandle | inline |
get() const -> SolveResult | Clingo::SolveHandle | inline |
last() const -> std::optional< ConstModel > | Clingo::SolveHandle | inline |
model() -> std::optional< ConstModel > | Clingo::SolveHandle | inline |
pointer typedef | Clingo::SolveHandle | |
reference typedef | Clingo::SolveHandle | |
resume() | Clingo::SolveHandle | inline |
SolveHandle(clingo_solve_handle_t *hnd) | Clingo::SolveHandle | inlineexplicit |
value_type typedef | Clingo::SolveHandle | |
wait(std::optional< double > timeout) -> bool | Clingo::SolveHandle | inline |