Struct ConditionalRule 

pub struct ConditionalRule {
    pub name: String,
    pub transform: fn(&TLExpr) -> Option<TLExpr>,
    pub guard: fn(&HashMap<String, TLExpr>) -> bool,
    pub priority: RulePriority,
    pub description: Option<String>,
    /* private fields */
}

A conditional rewrite rule with guards and priority.

Conditional rules extend basic pattern matching with:

• Guard predicates that must be satisfied
• Priority ordering for conflict resolution
• Metadata for debugging and analysis

Fields

name: String

Name for debugging and tracing

transform: fn(&TLExpr) -> Option<TLExpr>

Transformation function

guard: fn(&HashMap<String, TLExpr>) -> bool

Guard predicate (must return true for rule to apply)

priority: RulePriority

Priority level

description: Option<String>

Optional description

Implementations

impl ConditionalRule

pub fn new( name: impl Into<String>, transform: fn(&TLExpr) -> Option<TLExpr>, guard: fn(&HashMap<String, TLExpr>) -> bool, ) -> Self

Create a new conditional rule.

pub fn with_priority(self, priority: RulePriority) -> Self

Set the priority of this rule.

pub fn with_description(self, description: impl Into<String>) -> Self

Set the description of this rule.

pub fn apply(&mut self, expr: &TLExpr) -> Option<TLExpr>

Try to apply this rule to an expression.

Returns Some(transformed) if the rule applies, None otherwise.

pub fn application_count(&self) -> usize

Get the number of times this rule has been applied.

pub fn reset_counter(&mut self)

Reset the application counter.

Trait Implementations

impl Clone for ConditionalRule

fn clone(&self) -> ConditionalRule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConditionalRule

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

Formats the value using the given formatter.