Enum biodivine_lib_bdd::boolean_expression::BooleanExpression

pub enum BooleanExpression {
    Const(bool),
    Variable(String),
    Not(Box<BooleanExpression>),
    And(Box<BooleanExpression>, Box<BooleanExpression>),
    Or(Box<BooleanExpression>, Box<BooleanExpression>),
    Xor(Box<BooleanExpression>, Box<BooleanExpression>),
    Imp(Box<BooleanExpression>, Box<BooleanExpression>),
    Iff(Box<BooleanExpression>, Box<BooleanExpression>),
}

Recursive type for boolean expression tree.

Variants

Const(bool)

Variable(String)

Not(Box<BooleanExpression>)

And(Box<BooleanExpression>, Box<BooleanExpression>)

Or(Box<BooleanExpression>, Box<BooleanExpression>)

Xor(Box<BooleanExpression>, Box<BooleanExpression>)

Imp(Box<BooleanExpression>, Box<BooleanExpression>)

Iff(Box<BooleanExpression>, Box<BooleanExpression>)

Trait Implementations

impl Clone for BooleanExpression

fn clone(&self) -> BooleanExpression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BooleanExpression

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

Formats the value using the given formatter.

impl Display for BooleanExpression

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

Formats the value using the given formatter.

impl Eq for BooleanExpression

impl PartialEq<BooleanExpression> for BooleanExpression

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for BooleanExpression

impl StructuralPartialEq for BooleanExpression

impl<'_> TryFrom<&'_ str> for BooleanExpression

type Error = String

The type returned in the event of a conversion error.

fn try_from(value: &str) -> Result<Self, Self::Error>

Performs the conversion.