mathhook-core 0.2.0

Core mathematical engine for MathHook - expressions, algebra, and solving
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//! Pattern matching engine
//!
//! Implements the matching algorithms including commutative matching,
//! wildcard binding, and pattern replacement logic.

mod commutative;
mod core;
mod replacement;

pub use self::core::*;
pub use commutative::*;
pub use replacement::*;

use crate::core::Expression;
use std::collections::HashMap;

/// Result of pattern matching containing variable bindings
pub type PatternMatches = HashMap<String, Expression>;