Clingo::SolveResult Class Reference

Class to capture the result of solve calls. More...

#include <solve.hh>

Public Member Functions
	SolveResult (clingo_solve_result_bitset_t res)
	Construct the solve result from its C representation.
auto	satisfiable () const -> bool
	Check if the result is satisfiable.
auto	unsatisfiable () const -> bool
	Check if the result is unsatisfiable.
auto	unknown () const -> bool
	Check if the result is unknown.
auto	exhausted () const -> bool
	Check if the search space was exhausted.
auto	interrupted () const -> bool
	Check if the search was interrupted.
auto	to_string () const -> std::string_view
	Convert the solve result to a string representation.

Detailed Description

Class to capture the result of solve calls.

Constructor & Destructor Documentation

SolveResult()

Clingo::SolveResult::SolveResult ( clingo_solve_result_bitset_t  res )

inlineexplicit

Construct the solve result from its C representation.

Parameters

res	the C representation of the solve result

Member Function Documentation

exhausted()

auto Clingo::SolveResult::exhausted ( ) const -> bool

inline

Check if the search space was exhausted.

Returns

whether the search space was exhausted

interrupted()

auto Clingo::SolveResult::interrupted ( ) const -> bool

inline

Check if the search was interrupted.

Returns

whether the search was interrupted

satisfiable()

auto Clingo::SolveResult::satisfiable ( ) const -> bool

inline

Check if the result is satisfiable.

Returns

whether the result is satisfiable

to_string()

auto Clingo::SolveResult::to_string ( ) const -> std::string_view

inline

Convert the solve result to a string representation.

Returns

the string representation of the solve result

unknown()

auto Clingo::SolveResult::unknown ( ) const -> bool

inline

Check if the result is unknown.

Returns

whether the result is unknown

unsatisfiable()

auto Clingo::SolveResult::unsatisfiable ( ) const -> bool

inline

Check if the result is unsatisfiable.

Returns

whether the result is unsatisfiable

---

The documentation for this class was generated from the following file:

• clingo/solve.hh