Enum ConditionExpr 

pub enum ConditionExpr {
    Ref(u32),
    And(Vec<ConditionExpr>),
    Or(Vec<ConditionExpr>),
    Xor(Box<ConditionExpr>, Box<ConditionExpr>),
    Not(Box<ConditionExpr>),
    Package {
        id: u32,
        min: u32,
        max: u32,
    },
}

A parsed AHB condition expression tree.

Represents boolean combinations of condition references like [1] ∧ [2] or ([3] ∨ [4]) ⊻ [5].

Examples

A single condition reference:

use automapper_validation::expr::ConditionExpr;
let expr = ConditionExpr::Ref(931);
assert_eq!(expr.condition_ids(), [931].into());

Variants

Ref(u32)

A leaf reference to a single condition by number, e.g., [931].

And(Vec<ConditionExpr>)

Boolean AND of one or more expressions. All must be true. Invariant: exprs.len() >= 2.

Or(Vec<ConditionExpr>)

Boolean OR of one or more expressions. At least one must be true. Invariant: exprs.len() >= 2.

Xor(Box<ConditionExpr>, Box<ConditionExpr>)

Boolean XOR of exactly two expressions. Exactly one must be true.

Not(Box<ConditionExpr>)

Boolean NOT of an expression.

Package

Package cardinality constraint: [NP_min..max]

Fields

id: u32

min: u32

max: u32

Implementations

impl ConditionExpr

pub fn condition_ids(&self) -> BTreeSet<u32>

Extracts all condition IDs referenced in this expression tree.

Trait Implementations

impl Clone for ConditionExpr

fn clone(&self) -> ConditionExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConditionExpr

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

Formats the value using the given formatter.

impl Display for ConditionExpr

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

Formats the value using the given formatter.

impl PartialEq for ConditionExpr

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

impl StructuralPartialEq for ConditionExpr