Skip to main content

rssn_advanced/parallel/
mod.rs

1//! Parallel computation engine.
2//!
3//! # Architecture
4//!
5//! Exploits the commutativity of algebraic operations to split expressions
6//! into independent chunks for parallel simplification. Each chunk gets
7//! its own AST projection — no shared mutable state during computation.
8//!
9//! - `splitter` — Commutativity-based expression partitioning.
10//! - `solver` — Async parallel solver with work distribution.
11//! - `simplify` — Staged global simplification (end-of-computation default).
12//! - `permission` — Per-symbol commutativity permission flags.
13
14pub mod permission;
15pub mod simplify;
16pub mod solver;
17pub mod splitter;
18
19pub use solver::FnEvalRegistry;