|
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 |