mathhook_core/pattern/matching.rs
1//! Pattern matching infrastructure for structural matching
2//!
3//! Provides pattern matching with wildcards and constraints for
4//! transformation rules and algebraic manipulation.
5//!
6//! This module is organized into:
7//! - `patterns`: Pattern types, wildcards, and constraints
8//! - `engine`: Matching algorithms and replacement logic
9
10mod engine;
11mod patterns;
12
13pub use engine::{check_commutativity, Matchable, PatternMatches};
14pub use patterns::{Pattern, WildcardConstraints};