Lines Matching full:properties
1 // test-properties.h
45 // Tests compatibility between two sets of properties
64 // Computes FST property values defined in properties.h. The value of
67 // the properties specifically requested in the mask, certain other
68 // properties may be determined (those with little additional expense)
70 // known properties (whether true or false) determined by this
72 // If 'use_stored' is true, pre-computed FST properties may be used
74 // is used to implement fst.Properties(mask, true).
82 uint64 fst_props = fst.Properties(kFstProperties, false); // Fst-stored
84 // Check stored FST properties first if allowed.
94 // Compute (trinary) properties explicitly.
96 // Initialize with binary properties (already known).
99 // Compute these trinary properties with a DFS. We compute only those
110 // Compute any remaining trinary properties via a state and arcs iterations
230 // error if the stored properties and the computed properties are
233 // fst.Properties(mask, true).
237 uint64 stored_props = fst.Properties(kFstProperties, false);
240 LOG(FATAL) << "TestProperties: stored Fst properties incorrect"
