Struct ConstraintSimplifier 

pub struct ConstraintSimplifier { /* private fields */ }

Simplifies expressions using type constraints.

This simplifier recognizes patterns from type constraints and substitutes them with the constraint’s constant value.

Example

For a Rotor with constraint s*s + xy*xy + xz*xz + yz*yz = 1:

• Pattern: a_s*a_s + a_xy*a_xy + a_xz*a_xz + a_yz*a_yz
• Substituted with: 1

Implementations

impl ConstraintSimplifier

pub fn new(types: &[&TypeSpec], prefixes: &[&str]) -> Self

Creates a new constraint simplifier for the given types.

Arguments

• types - The types being operated on
• prefixes - The variable prefixes used (e.g., “a”, “b”)

Note: Constraints are now auto-derived during code generation rather than stored in TypeSpec. This simplifier currently returns an empty instance. Constraint-based simplification can be reimplemented using ConstraintDeriver if needed.

pub fn apply(&self, expr: &Atom) -> Atom

Applies constraint substitutions to an expression.

Looks for subexpressions matching constraint patterns and replaces them.