38 uint64 ClosureProperties(uint64 inprops, bool star, bool delayed) {  in ClosureProperties()
39   uint64 outprops = (kError | kAcceptor | kUnweighted | kAccessible) & inprops;  in ClosureProperties()
51 uint64 ComplementProperties(uint64 inprops) {  in ComplementProperties()
52   uint64 outprops = kAcceptor | kUnweighted | kNoEpsilons |  in ComplementProperties()
63 uint64 ComposeProperties(uint64 inprops1, uint64 inprops2) {  in ComposeProperties()
64   uint64 outprops = kError & (inprops1 | inprops2);  in ComposeProperties()
82 uint64 ConcatProperties(uint64 inprops1, uint64 inprops2, bool delayed) {  in ConcatProperties()
83   uint64 outprops =  in ConcatProperties()
116 uint64 DeterminizeProperties(uint64 inprops, bool has_subsequential_label) {  in DeterminizeProperties()
117   uint64 outprops = kAccessible;  in DeterminizeProperties()
135 uint64 FactorWeightProperties(uint64 inprops) {  in FactorWeightProperties()
136   uint64 outprops = (kExpanded | kMutable | kError | kAcceptor |  in FactorWeightProperties()
147 uint64 InvertProperties(uint64 inprops) {  in InvertProperties()
148   uint64 outprops = (kExpanded | kMutable | kError | kAcceptor | kNotAcceptor |  in InvertProperties()
185 uint64 ProjectProperties(uint64 inprops, bool project_input) {  in ProjectProperties()
186   uint64 outprops = kAcceptor;  in ProjectProperties()
235 uint64 RandGenProperties(uint64 inprops, bool weighted) {  in RandGenProperties()
236   uint64 outprops = kAcyclic | kInitialAcyclic | kAccessible;  in RandGenProperties()
252 uint64 ReplaceProperties(const vector<uint64>& inprops,  in ReplaceProperties()
258   uint64 outprops = 0;  in ReplaceProperties()
261   uint64 access_props = no_empty_fsts ? kAccessible | kCoAccessible : 0;  in ReplaceProperties()
268     uint64 props =  0;  in ReplaceProperties()
316 uint64 RelabelProperties(uint64 inprops) {  in RelabelProperties()
317   uint64 outprops = (kExpanded | kMutable | kError |  in RelabelProperties()
329 uint64 ReverseProperties(uint64 inprops) {  in ReverseProperties()
330   uint64 outprops =  in ReverseProperties()
338 uint64 ReweightProperties(uint64 inprops) {  in ReweightProperties()
339   uint64 outprops = inprops & kWeightInvariantProperties;  in ReweightProperties()
345 uint64 RmEpsilonProperties(uint64 inprops, bool delayed) {  in RmEpsilonProperties()
346   uint64 outprops = kNoEpsilons;  in RmEpsilonProperties()
362 uint64 ShortestPathProperties(uint64 props) {  in ShortestPathProperties()
367 uint64 SynchronizeProperties(uint64 inprops) {  in SynchronizeProperties()
368   uint64 outprops = (kError | kAcceptor | kAcyclic | kAccessible |  in SynchronizeProperties()
376 uint64 UnionProperties(uint64 inprops1, uint64 inprops2, bool delayed) {  in UnionProperties()
377   uint64 outprops = (kAcceptor | kUnweighted | kAcyclic | kAccessible)  in UnionProperties()