Expand description
Operations on raw finite state transducers.
This sub-module exposes the guts of a finite state transducer. Many parts of
it, such as construction and traversal, are mirrored in the set and map
sub-modules. Other parts of it, such as direct access to nodes and transitions
in the transducer, do not have any analog.
§Overview of types
Fst is a read only interface to pre-constructed finite state transducers.
Node is a read only interface to a single node in a transducer. Builder is
used to create new finite state transducers. (Once a transducer is created, it
can never be modified.) Stream is a stream of all inputs and outputs in a
transducer. StreamBuilder builds range queries. OpBuilder collects streams
and executes set operations like union or intersection on them with the
option of specifying a merge strategy for output values.
Most of the rest of the types are streams from set operations.
Modules§
- build 🔒
- common_
inputs 🔒 - counting_
writer 🔒 - crc32 🔒
- crc32_
table 🔒 - error 🔒
- node 🔒
- ops 🔒
- registry 🔒
- registry_
minimal 🔒
Structs§
- Builder
- A builder for creating a finite state transducer.
- Difference
- A stream of set difference over multiple fst streams in lexicographic order.
- Fst
- An acyclic deterministic finite state transducer.
- FstRef 🔒
- Indexed
Value - A value indexed by a stream.
- Intersection
- A stream of set intersection over multiple fst streams in lexicographic order.
- Meta 🔒
- Node
- Node represents a single state in a finite state transducer.
- OpBuilder
- A builder for collecting fst streams on which to perform set operations on the keys of fsts.
- Output
- An output is a value that is associated with a key in a finite state transducer.
- Stream
- A lexicographically ordered stream of key-value pairs from an fst.
- Stream
Builder - A builder for constructing range queries on streams.
- Stream
State 🔒 - Stream
With State - A lexicographically ordered stream of key-value-state triples from an fst and an automaton.
- Stream
With State Builder - A builder for constructing range queries on streams that include automaton states.
- Symmetric
Difference - A stream of set symmetric difference over multiple fst streams in lexicographic order.
- Transition
- A transition from one note to another.
- Transitions
- An iterator over all transitions in a node.
- Union
- A stream of set union over multiple fst streams in lexicographic order.
Enums§
Constants§
- EMPTY_
ADDRESS 🔒 - A sentinel value used to indicate an empty final state.
- NONE_
ADDRESS 🔒 - A sentinel value used to indicate an invalid state.
- VERSION
- The API version of this crate.
Functions§
Type Aliases§
- Compiled
Addr - CompiledAddr is the type used to address nodes in a finite state transducer.
- FstType
- FstType is a convention used to indicate the type of the underlying transducer.