Lines Matching refs:Properties
1 // test-properties.h
43 // Tests compatibility between two sets of properties
62 // Computes FST property values defined in properties.h. The value of
65 // the properties specifically requested in the mask, certain other
66 // properties may be determined (those with little additional expense)
68 // known properties (whether true or false) determined by this
70 // If 'use_stored' is true, pre-computed FST properties may be used
72 // is used to implement fst.Properties(mask, true).
80 uint64 fst_props = fst.Properties(kFstProperties, false); // Fst-stored
82 // Check stored FST properties first if allowed.
92 // Compute (trinary) properties explicitly.
94 // Initialize with binary properties (already known).
97 // Compute these trinary properties with a DFS. We compute only those
108 // Compute any remaining trinary properties via a state and arcs iterations
224 // error if the stored properties and the computed properties are
227 // fst.Properties(mask, true).
231 uint64 stored_props = fst.Properties(kFstProperties, false);
234 LOG(FATAL) << "TestProperties: stored Fst properties incorrect"
