Struct WildcardConstraints 

pub struct WildcardConstraints {
    pub exclude: Vec<Expression>,
    pub properties: Vec<fn(&Expression) -> bool>,
}

Constraints for wildcard pattern matching

Provides fine-grained control over what expressions a wildcard can match.

Fields

exclude: Vec<Expression>

Expressions that cannot be matched (e.g., specific variables to exclude)

properties: Vec<fn(&Expression) -> bool>

Predicates that must return true for a match to succeed Common examples: is_integer, is_positive, is_polynomial_in(x)

Implementations

impl WildcardConstraints

pub fn with_exclude(exclude: Vec<Expression>) -> Self

Create constraints with excluded expressions

pub fn with_properties(properties: Vec<fn(&Expression) -> bool>) -> Self

Create constraints with property predicates

pub fn is_satisfied_by(&self, expr: &Expression) -> bool

Check if an expression satisfies all constraints

Trait Implementations

impl Clone for WildcardConstraints

fn clone(&self) -> WildcardConstraints

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WildcardConstraints

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

Formats the value using the given formatter.

impl PartialEq for WildcardConstraints

fn eq(&self, other: &Self) -> 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.