Struct ACPattern 

pub struct ACPattern {
    pub operator: ACOperator,
    pub fixed_operands: Vec<TLExpr>,
    pub variable_operands: Vec<String>,
}

AC pattern matching with variable bindings.

This is more sophisticated than simple AC-equivalence checking, as it allows pattern variables to match subsets of operands.

Fields

operator: ACOperator

The AC operator for this pattern

fixed_operands: Vec<TLExpr>

Fixed operands that must match exactly

variable_operands: Vec<String>

Variable operands that can match multiple elements

Implementations

impl ACPattern

pub fn new(operator: ACOperator) -> Self

Create a new AC pattern.

pub fn with_fixed(self, operand: TLExpr) -> Self

Add a fixed operand to the pattern.

pub fn with_variable(self, var: impl Into<String>) -> Self

Add a variable operand to the pattern.

pub fn matches(&self, expr: &TLExpr) -> Option<HashMap<String, Vec<TLExpr>>>

Try to match this pattern against an expression.

Returns bindings for variable operands if successful.

Trait Implementations

impl Clone for ACPattern

fn clone(&self) -> ACPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ACPattern

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

Formats the value using the given formatter.