34 uint64 ClosureProperties(uint64 inprops, bool star, bool delayed) {  in ClosureProperties()
35   uint64 outprops = (kAcceptor | kUnweighted | kAccessible) & inprops;  in ClosureProperties()
47 uint64 ComplementProperties(uint64 inprops) {  in ComplementProperties()
48   uint64 outprops = kAcceptor | kUnweighted | kNoEpsilons |  in ComplementProperties()
58 uint64 ComposeProperties(uint64 inprops1, uint64 inprops2) {  in ComposeProperties()
59   uint64 outprops = kAccessible;  in ComposeProperties()
69 uint64 ConcatProperties(uint64 inprops1, uint64 inprops2, bool delayed) {  in ConcatProperties()
70   uint64 outprops =  in ConcatProperties()
102 uint64 DeterminizeProperties(uint64 inprops) {  in DeterminizeProperties()
103   uint64 outprops = kIDeterministic | kAccessible;  in DeterminizeProperties()
115 uint64 DifferenceProperties(uint64 inprops1, uint64 inprops2) {  in DifferenceProperties()
120 uint64 FactorWeightProperties(uint64 inprops) {  in FactorWeightProperties()
121   uint64 outprops = (kExpanded | kMutable | kAcceptor |  in FactorWeightProperties()
132 uint64 IntersectProperties(uint64 inprops1, uint64 inprops2) {  in IntersectProperties()
133   uint64 outprops = kAcceptor | kAccessible;  in IntersectProperties()
144 uint64 InvertProperties(uint64 inprops) {  in InvertProperties()
145   uint64 outprops = (kExpanded | kMutable | kAcceptor | kNotAcceptor |  in InvertProperties()
182 uint64 ProjectProperties(uint64 inprops, bool project_input) {  in ProjectProperties()
183   uint64 outprops = kAcceptor;  in ProjectProperties()
232 uint64 ReplaceProperties(const vector<uint64>& inprops) {  in ReplaceProperties()
237 uint64 RelabelProperties(uint64 inprops) {  in RelabelProperties()
238   uint64 outprops = (kExpanded | kMutable |  in RelabelProperties()
250 uint64 ReverseProperties(uint64 inprops) {  in ReverseProperties()
251   uint64 outprops =  in ReverseProperties()
259 uint64 ReweightProperties(uint64 inprops) {  in ReweightProperties()
260   uint64 outprops = inprops & kWeightInvariantProperties;  in ReweightProperties()
266 uint64 RmEpsilonProperties(uint64 inprops, bool delayed) {  in RmEpsilonProperties()
267   uint64 outprops = kNoEpsilons;  in RmEpsilonProperties()
281 uint64 SynchronizeProperties(uint64 inprops) {  in SynchronizeProperties()
282   uint64 outprops = (kAcceptor | kAcyclic | kAccessible | kCoAccessible |  in SynchronizeProperties()
290 uint64 UnionProperties(uint64 inprops1, uint64 inprops2, bool delayed) {  in UnionProperties()
291   uint64 outprops = (kAcceptor | kUnweighted | kAcyclic | kAccessible)  in UnionProperties()