Struct SupportingInference 

pub struct SupportingInference<Atomic> {
    pub premises: Vec<Atomic>,
    pub consequent: Option<Atomic>,
}

An inference used to support a deduction.

Fields

premises: Vec<Atomic>

The premises of the inference.

consequent: Option<Atomic>

The consequent of the inference.

None represents the literal false. I.e., if the consequent is None, then the premises imply false.

Trait Implementations

impl<Atomic: Clone> Clone for SupportingInference<Atomic>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Atomic: Debug> Debug for SupportingInference<Atomic>

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

Formats the value using the given formatter.

impl<Atomic: Eq> Eq for SupportingInference<Atomic>

impl<Atomic: PartialEq> PartialEq for SupportingInference<Atomic>

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

Equality operator ==.

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

Inequality operator !=.

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