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 ahb_types::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<(), Error>

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ConditionExpr

fn deserialize<__D>( __deserializer: __D, ) -> Result<ConditionExpr, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for ConditionExpr

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

Formats the value using the given formatter.

impl Eq for ConditionExpr

impl PartialEq for ConditionExpr

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ConditionExpr

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ConditionExpr