Enum ImplicationFormula

pub enum ImplicationFormula {
    Var(i32),
    Not(Box<ImplicationFormula>),
    Implies(Box<ImplicationFormula>, Box<ImplicationFormula>),
    Const(bool),
}

Represents a formula in implication form

Variants

Var(i32)

A variable (positive or negative literal)

Not(Box<ImplicationFormula>)

Negation of an expression (NOT)

Implies(Box<ImplicationFormula>, Box<ImplicationFormula>)

Implication relation (p → q)

Const(bool)

Boolean constants

Trait Implementations

impl Clone for ImplicationFormula

fn clone(&self) -> ImplicationFormula

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ImplicationFormula

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

Formats the value using the given formatter.

impl PartialEq for ImplicationFormula

fn eq(&self, other: &ImplicationFormula) -> 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 StructuralPartialEq for ImplicationFormula