[−][src]Module rustfst::semirings
Provides a trait that shall be implemented for all weights stored inside a wFST.
Structs
BooleanWeight | Boolean semiring: (&, |, false, true). |
GallicWeight | UnionWeight of GallicWeightRestrict. |
GallicWeightLeft | Product of StringWeightLeft and an arbitrary weight. |
GallicWeightMin | Product of StringWeightRestrict and an arbitrary weight. |
GallicWeightRestrict | Product of StringWeighRestrict and an arbitrary weight. |
GallicWeightRight | Product of StringWeightRight and an arbitrary weight. |
IntegerWeight | Probability semiring: (x, +, 0.0, 1.0). |
LogWeight | Log semiring: (log(e^-x + e^-y), +, inf, 0). |
ProbabilityWeight | Probability semiring: (x, +, 0.0, 1.0). |
ProductWeight | Product semiring: W1 * W2. |
SemiringProperties | Properties verified by the Semiring. |
StringWeightLeft | String semiring: (longest_common_prefix, ., Infinity, Epsilon) |
StringWeightRestrict | String semiring: (identity, ., Infinity, Epsilon) |
StringWeightRight | String semiring: (longest_common_suffix, ., Infinity, Epsilon) |
TropicalWeight | Tropical semiring: (min, +, inf, 0). |
UnionWeight | Semiring that uses Times() and One() from W and union and the empty set for Plus() and Zero(), respectively. Template argument O specifies the union weight options as above. |
Enums
DivideType | Determines direction of division. |
StringType | Determines whether to use left or right string semiring. Includes a 'restricted' version that signals an error if proper prefixes/suffixes would otherwise be returned by Plus, useful with various algorithms that require functional transducer input with the string semirings. |
Traits
CompleteSemiring | A semiring |
ReverseBack | |
Semiring | For some operations, the weight set associated to a wFST must have the structure of a semiring.
|
SerializableSemiring | |
StarSemiring | A complete semiring S is a starsemiring that is a semiring that can be augmented with an
internal unary closure operation ∗ defined by |
UnionWeightOption | |
WeaklyDivisibleSemiring | A semiring is said to be divisible if all non-0 elements admit an inverse,
that is if |
WeightQuantize |