Module fst_properties 

Provides the FstProperties struct and some utils functions around it. Useful to assert some properties on a Fst.

Modules

mutable_properties

Functions for getting property bit vectors when executing mutation operations.

Structs

FstProperties

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

compat_properties

Tests compatibility between two sets of properties.

compute_fst_properties

Computes all the FstProperties of the FST bit don’t attach them to the FST.

known_properties

Both bits are set iff one bit is set.