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)

Tuple Fields of Const

0: bool

Variable(String)

Tuple Fields of Variable

0: String

Not(Box<BooleanExpression>)

Tuple Fields of Not

0: Box<BooleanExpression>

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

Tuple Fields of And

0: Box<BooleanExpression>1: Box<BooleanExpression>

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

Tuple Fields of Or

0: Box<BooleanExpression>1: Box<BooleanExpression>

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

Tuple Fields of Xor

0: Box<BooleanExpression>1: Box<BooleanExpression>

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

Tuple Fields of Imp

0: Box<BooleanExpression>1: Box<BooleanExpression>

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

Tuple Fields of Iff

0: Box<BooleanExpression>1: 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 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 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.

impl Eq for BooleanExpression

impl StructuralEq for BooleanExpression

impl StructuralPartialEq for BooleanExpression