Module rustfst::fst_properties
source · Expand description
Provides the FstProperties
struct and some utils functions around it.
Useful to assert some properties on a Fst.
Modules
Functions for getting property bit vectors when executing mutation operations.
Structs
The property bits here assert facts about an FST. If individual bits are
added, then the composite fst_properties below, the property functions and
property names in fst_properties.cc, and TestProperties() in test-fst_properties.h
should be updated.
For each of these fst_properties below there is a pair of property bits, one
positive and one negative. If the positive bit is set, the property is true.
If the negative bit is set, the property is false. If neither is set, the
property has unknown value. Both should never be simultaneously set. The
individual positive and negative bit pairs should be adjacent with the
positive bit at an odd and lower position.
Functions
Tests compatibility between two sets of properties.
Computes all the FstProperties of the FST bit don’t attach them to the FST.
Both bits are set iff one bit is set.