Enum ExprNode 

pub enum ExprNode<'a, T> {
    Variable(&'a str),
    And(T, T),
    Or(T, T),
    Not(T),
    Constant(bool),
}

Node type for expression tree folding

This enum represents the structure of an expression node without exposing internal Arc types. It’s used with BoolExpr::fold and BoolExpr::fold_with_context to traverse and transform expression trees.

Generic Parameter

• For BoolExpr::fold: T represents the accumulated result from child nodes (bottom-up)
• For BoolExpr::fold_with_context: T is () since context flows top-down via closures

Examples

See BoolExpr::fold and BoolExpr::fold_with_context for detailed usage examples.

Variants

Variable(&'a str)

A variable with the given name

And(T, T)

Logical AND with results from left and right subtrees

Or(T, T)

Logical OR with results from left and right subtrees

Not(T)

Logical NOT with result from inner subtree

Constant(bool)

A constant boolean value

Trait Implementations

impl<'a, T: Clone> Clone for ExprNode<'a, T>

fn clone(&self) -> ExprNode<'a, T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, T: Debug> Debug for ExprNode<'a, T>

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

Formats the value using the given formatter.

impl<'a, T: PartialEq> PartialEq for ExprNode<'a, T>

fn eq(&self, other: &ExprNode<'a, T>) -> 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<'a, T: Eq> Eq for ExprNode<'a, T>

impl<'a, T> StructuralPartialEq for ExprNode<'a, T>