Result

class Result

No conversion to bool, by design.

Public Functions

Result() noexcept

UNKNOWN(OTHER)

Result(Verdict, UnknownReason, std::string message) noexcept

Verdict verdict() const noexcept

bool is_sat() const noexcept

bool is_unsat() const noexcept

bool is_unknown() const noexcept

UnknownReason reason() const noexcept

NONE unless is_unknown()

std::string reason_message() const

a sentence for people; empty unless unknown

std::string str() const

Friends

friend std::ostream &operator<<(std::ostream&, const Result&)

“sat” | “unsat” | “unknown (timeout)”