Clingo::SolveResult Member List

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

exhausted() const -> bool	Clingo::SolveResult	inline
interrupted() const -> bool	Clingo::SolveResult	inline
satisfiable() const -> bool	Clingo::SolveResult	inline
SolveResult(clingo_solve_result_bitset_t res)	Clingo::SolveResult	inlineexplicit
to_string() const -> std::string_view	Clingo::SolveResult	inline
unknown() const -> bool	Clingo::SolveResult	inline
unsatisfiable() const -> bool	Clingo::SolveResult	inline