Enum banyan_utils::tag_index::Expression

pub enum Expression {
    Literal(SmolStr),
    And(Vec<Expression>),
    Or(Vec<Expression>),
}

a boolean expression, consisting of literals, union and intersection.

no attempt of simplification is made, except flattening identical operators.

And([And([a,b]),c]) will be flattened to And([a,b,c]).

Variants

Literal(SmolStr)

Tuple Fields

0: SmolStr

And(Vec<Expression>)

Tuple Fields

0: Vec<Expression>

Or(Vec<Expression>)

Tuple Fields

0: Vec<Expression>

Implementations

impl Expression

pub fn literal(text: SmolStr) -> Self

pub fn or(e: Vec<Expression>) -> Self

pub fn and(e: Vec<Expression>) -> Self

pub fn simplify(&self) -> Self

pub fn dnf(self) -> Dnf

convert the expression into disjunctive normal form

careful, for some expressions this can have exponential runtime. E.g. the disjunctive normal form of (a | b) & (c | d) & (e | f) & ... will be very complex.

Trait Implementations

impl BitAnd<Expression> for Expression

type Output = Expression

The resulting type after applying the & operator.

fn bitand(self, that: Self) -> Self

Performs the & operation.

impl BitOr<Expression> for Expression

type Output = Expression

The resulting type after applying the | operator.

fn bitor(self, that: Self) -> Self

Performs the | operation.

impl Clone for Expression

fn clone(&self) -> Expression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

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

Formats the value using the given formatter.

impl Display for Expression

prints the expression with a minimum of brackets

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

Formats the value using the given formatter.

impl From<Dnf> for Expression

fn from(value: Dnf) -> Self

Performs the conversion.

impl From<Expression> for Dnf

fn from(value: Expression) -> Self

Performs the conversion.

impl Ord for Expression

fn cmp(&self, other: &Expression) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

Restrict a value to a certain interval.

impl PartialEq<Expression> for Expression

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

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

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

This method tests for !=.

impl PartialOrd<Expression> for Expression

fn partial_cmp(&self, other: &Expression) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for Expression

impl StructuralEq for Expression

impl StructuralPartialEq for Expression