37 inline uint64 KnownProperties(uint64 props) {  in KnownProperties()
44 inline bool CompatProperties(uint64 props1, uint64 props2) {  in CompatProperties()
45   uint64 known_props1 = KnownProperties(props1);  in CompatProperties()
46   uint64 known_props2 = KnownProperties(props2);  in CompatProperties()
47   uint64 known_props = known_props1 & known_props2;  in CompatProperties()
48   uint64 incompat_props = (props1 & known_props) ^ (props2 & known_props);  in CompatProperties()
50     uint64 prop = 1;  in CompatProperties()
74 uint64 ComputeProperties(const Fst<Arc> &fst, uint64 mask, uint64 *known,  in ComputeProperties()
80   uint64 fst_props = fst.Properties(kFstProperties, false);  // Fst-stored  in ComputeProperties()
84     uint64 known_props = KnownProperties(fst_props);  in ComputeProperties()
95   uint64 comp_props = fst_props & kBinaryProperties;  in ComputeProperties()
100   uint64 dfs_props = kCyclic | kAcyclic | kInitialCyclic | kInitialAcyclic |  in ComputeProperties()
229 uint64 TestProperties(const Fst<Arc> &fst, uint64 mask, uint64 *known) {  in TestProperties()
231     uint64 stored_props = fst.Properties(kFstProperties, false);  in TestProperties()
232     uint64 computed_props = ComputeProperties(fst, mask, known, false);  in TestProperties()