Enum RuleOutcome 

#[non_exhaustive]
pub enum RuleOutcome {
    Proved(Option<Certificate>),
    Refuted(Vec<BitVec>),
    Unknown(Unknown),
}

The answer for a rule at one assignment.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Proved(Option<Certificate>)

Sound there (with a certificate, if asked for).

Refuted(Vec<BitVec>)

Unsound there: a value per parameter (in order) where the guard holds and the sides differ.

Unknown(Unknown)

Not decided: why.

Trait Implementations

impl Clone for RuleOutcome

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RuleOutcome

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.