Enum PostulateViolation 

pub enum PostulateViolation {
    SubArgumentNotInExtension {
        parent: ArgumentId,
        sub: ArgumentId,
    },
    StrictClosureViolation {
        missing: Literal,
    },
    DirectInconsistency {
        literal: Literal,
    },
    IndirectInconsistency {
        literal: Literal,
    },
}

A specific postulate violation with a short human-readable description.

Variants

SubArgumentNotInExtension

Argument parent is in the extension but its sub-argument sub is not. Violates sub-argument closure.

Fields

parent: ArgumentId

Argument that IS in the extension.

sub: ArgumentId

Sub-argument of parent that is NOT in the extension.

StrictClosureViolation

The extension’s conclusion set derives literal via strict rules but no argument in the extension concludes literal. Violates closure under strict rules.

Fields

missing: Literal

Literal derivable from the extension via strict rules but not itself a conclusion of any extension member.

DirectInconsistency

Both literal and its contrary appear in the extension’s conclusion set. Violates direct consistency.

Fields

literal: Literal

One of the conflicting literals (the positive side, by convention, to avoid duplicate reports).

IndirectInconsistency

The strict-rule closure of the extension’s conclusions is inconsistent (contains both a literal and its contrary).

Fields

literal: Literal

One of the conflicting literals.

Trait Implementations

impl Clone for PostulateViolation

fn clone(&self) -> PostulateViolation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PostulateViolation

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

Formats the value using the given formatter.

impl PartialEq for PostulateViolation

fn eq(&self, other: &PostulateViolation) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for PostulateViolation

impl StructuralPartialEq for PostulateViolation