Struct IgnoredInference 

pub struct IgnoredInference<Atomic> {
    pub inference: SupportingInference<Atomic>,
    pub unsatisfied_premises: Vec<Atomic>,
}

An inference that was ignored when checking a deduction.

Returned as an error when checking a deduction. These inferences were added to the proof stage, but never used. Hence, they likely point to why the proof stage is rejected.

Fields

inference: SupportingInference<Atomic>

The inference that was ignored.

unsatisfied_premises: Vec<Atomic>

The premises that were not satisfied when the inference was evaluated.

Trait Implementations

impl<Atomic: Clone> Clone for IgnoredInference<Atomic>

fn clone(&self) -> IgnoredInference<Atomic>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Atomic: Debug> Debug for IgnoredInference<Atomic>

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

Formats the value using the given formatter.

impl<Atomic: Eq> Eq for IgnoredInference<Atomic>

impl<Atomic: PartialEq> PartialEq for IgnoredInference<Atomic>

fn eq(&self, other: &IgnoredInference<Atomic>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<Atomic: PartialEq> StructuralPartialEq for IgnoredInference<Atomic>