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

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

begin() -> iteratorClingo::SolveHandleinline
c_castClingo::SolveHandlefriend
cancel()Clingo::SolveHandleinline
close()Clingo::SolveHandleinline
Control (defined in Clingo::SolveHandle)Clingo::SolveHandlefriend
core() const -> ProgramLiteralSpanClingo::SolveHandleinline
difference_type typedefClingo::SolveHandle
end() -> sentinelClingo::SolveHandleinline
get() const -> SolveResultClingo::SolveHandleinline
last() const -> std::optional< ConstModel >Clingo::SolveHandleinline
model() -> std::optional< ConstModel >Clingo::SolveHandleinline
pointer typedefClingo::SolveHandle
reference typedefClingo::SolveHandle
resume()Clingo::SolveHandleinline
SolveHandle(clingo_solve_handle_t *hnd)Clingo::SolveHandleinlineexplicit
value_type typedefClingo::SolveHandle
wait(std::optional< double > timeout) -> boolClingo::SolveHandleinline