Module language

Expand description

The user-facing handle: a compiled language with matching, minimal automaton and fingerprint.

Structs§

Language: A pattern compiled to a term and a lazily built automaton.
Resolved: A pattern resolved for backtracking analysis, with the store its zero-width terms live in.

Mode: Full: the pattern must match the entire input. Search: any substring may match (FR-A11).

fingerprint_term: Fingerprint of a term that lives in a caller-owned store. Equal results mean equal languages over alphabet (the canonical form is the authority; see MinDfa::canonical_form).
lower_into: Lower a pattern into an existing store, so several patterns can be analysed together (equivalence, comparison). store must have been created with alphabet.universe().
minimal_of_term: Minimal automaton of a term that lives in a caller-owned store.
resolve: Resolve p for analysis (does not build any automaton).