Entailment

class Entailment

The answer to entails(): is the formula true in every model of the assertions?

Public Functions

Entailment() noexcept

Entailment(Validity, UnknownReason, std::string message) noexcept

explicit Entailment(const Result &of_negation) noexcept

Validity validity() const noexcept

bool is_valid() const noexcept

bool is_invalid() const noexcept

bool is_unknown() const noexcept

UnknownReason reason() const noexcept

std::string reason_message() const

std::string str() const

Friends

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

“valid” | “invalid” | “unknown (…)”