Struct ConditionExprEvaluator 

pub struct ConditionExprEvaluator<'a, E: ConditionEvaluator> { /* private fields */ }

Evaluates a ConditionExpr AST against an evaluation context.

Uses three-valued short-circuit logic:

• AND: False short-circuits to False; all True -> True; else Unknown
• OR: True short-circuits to True; all False -> False; else Unknown
• XOR: requires both operands known; Unknown if either is Unknown
• NOT: inverts True/False; preserves Unknown

Implementations

impl<'a, E: ConditionEvaluator> ConditionExprEvaluator<'a, E>

pub fn new(evaluator: &'a E) -> Self

Create a new expression evaluator wrapping a condition evaluator.

pub fn evaluate( &self, expr: &ConditionExpr, ctx: &EvaluationContext<'_>, ) -> ConditionResult

Evaluate a condition expression tree.

pub fn evaluate_status( &self, ahb_status: &str, ctx: &EvaluationContext<'_>, ) -> ConditionResult

Parse an AHB status string, evaluate it, and return the result.

Returns ConditionResult::True if there are no conditions (unconditionally required).

pub fn evaluate_status_with_ub( &self, ahb_status: &str, ctx: &EvaluationContext<'_>, ub_definitions: &HashMap<String, ConditionExpr>, ) -> ConditionResult

Like evaluate_status, but expands UB condition references inline during parsing.

pub fn evaluate_status_detailed( &self, ahb_status: &str, ctx: &EvaluationContext<'_>, ) -> (ConditionResult, Vec<u32>)

Like evaluate_status, but also returns the IDs of conditions that evaluated to Unknown.

pub fn evaluate_status_detailed_with_ub( &self, ahb_status: &str, ctx: &EvaluationContext<'_>, ub_definitions: &HashMap<String, ConditionExpr>, ) -> (ConditionResult, Vec<u32>)

Like evaluate_status_detailed, but expands UB condition references inline during parsing.