rexact_core/lib.rs
1//! Language engine: symbol classes, terms, derivatives, automata, matching.
2//!
3//! Design note: pattern syntax trees are lowered to normalised extended
4//! regular-expression terms ([`term`]); a lazily explored derivative automaton
5//! ([`dfa`]) answers matching in linear time and minimises to a canonical form
6//! whose hash is the language fingerprint. Everything is bounded by
7//! [`limits`].
8
9pub mod alphabet;
10pub mod casefold;
11pub mod charset;
12pub mod dfa;
13pub mod language;
14pub mod limits;
15mod lower;
16pub mod resolved;
17pub mod sha256;
18pub mod term;
19
20pub use alphabet::Alphabet;
21pub use language::{
22 fingerprint_term, lower_into, minimal_of_term, resolve, Language, Mode, Resolved,
23};
24pub use limits::{Budget, Limits};