34 uint64 ClosureProperties(uint64 inprops, bool star, bool delayed) {  in ClosureProperties()  argument
35   uint64 outprops = (kAcceptor | kUnweighted | kAccessible) & inprops;  in ClosureProperties()
38                     kNotTopSorted | kNotString) & inprops;  in ClosureProperties()
39   if (!delayed || inprops & kAccessible)  in ClosureProperties()
42                  kNotAccessible | kNotCoAccessible) & inprops;  in ClosureProperties()
47 uint64 ComplementProperties(uint64 inprops) {  in ComplementProperties()  argument
51   outprops |= (kILabelSorted | kOLabelSorted | kInitialCyclic) & inprops;  in ComplementProperties()
52   if (inprops & kAccessible)  in ComplementProperties()
102 uint64 DeterminizeProperties(uint64 inprops) {  in DeterminizeProperties()  argument
105                kInitialAcyclic | kCoAccessible | kString) & inprops;  in DeterminizeProperties()
106   if (inprops & kAccessible)  in DeterminizeProperties()
108                   kCyclic) & inprops;  in DeterminizeProperties()
109   if (inprops & kAcceptor)  in DeterminizeProperties()
110     outprops |= (kNoIEpsilons | kNoOEpsilons | kAccessible) & inprops;  in DeterminizeProperties()
120 uint64 FactorWeightProperties(uint64 inprops) {  in FactorWeightProperties()  argument
122                      kAcyclic | kAccessible | kCoAccessible) & inprops;  in FactorWeightProperties()
123   if (inprops & kAccessible)  in FactorWeightProperties()
127         & inprops;  in FactorWeightProperties()
144 uint64 InvertProperties(uint64 inprops) {  in InvertProperties()  argument
151                      kString | kNotString) & inprops;  in InvertProperties()
152   if (kIDeterministic & inprops)  in InvertProperties()
154   if (kNonIDeterministic & inprops)  in InvertProperties()
156   if (kODeterministic & inprops)  in InvertProperties()
158   if (kNonODeterministic & inprops)  in InvertProperties()
161   if (kIEpsilons & inprops)  in InvertProperties()
163   if (kNoIEpsilons & inprops)  in InvertProperties()
165   if (kOEpsilons & inprops)  in InvertProperties()
167   if (kNoOEpsilons & inprops)  in InvertProperties()
170   if (kILabelSorted & inprops)  in InvertProperties()
172   if (kNotILabelSorted & inprops)  in InvertProperties()
174   if (kOLabelSorted & inprops)  in InvertProperties()
176   if (kNotOLabelSorted & inprops)  in InvertProperties()
182 uint64 ProjectProperties(uint64 inprops, bool project_input) {  in ProjectProperties()  argument
188                kString | kNotString) & inprops;  in ProjectProperties()
192                  kILabelSorted | kNotILabelSorted) & inprops;  in ProjectProperties()
194     if (kIDeterministic & inprops)  in ProjectProperties()
196     if (kNonIDeterministic & inprops)  in ProjectProperties()
199     if (kIEpsilons & inprops)  in ProjectProperties()
201     if (kNoIEpsilons & inprops)  in ProjectProperties()
204     if (kILabelSorted & inprops)  in ProjectProperties()
206     if (kNotILabelSorted & inprops)  in ProjectProperties()
211                  kOLabelSorted | kNotOLabelSorted) & inprops;  in ProjectProperties()
213     if (kODeterministic & inprops)  in ProjectProperties()
215     if (kNonODeterministic & inprops)  in ProjectProperties()
218     if (kOEpsilons & inprops)  in ProjectProperties()
220     if (kNoOEpsilons & inprops)  in ProjectProperties()
223     if (kOLabelSorted & inprops)  in ProjectProperties()
225     if (kNotOLabelSorted & inprops)  in ProjectProperties()
232 uint64 ReplaceProperties(const vector<uint64>& inprops) {  in ReplaceProperties()  argument
237 uint64 RelabelProperties(uint64 inprops) {  in RelabelProperties()  argument
245                      kString | kNotString) & inprops;  in RelabelProperties()
250 uint64 ReverseProperties(uint64 inprops) {  in ReverseProperties()  argument
254      kCyclic | kAcyclic) & inprops;  in ReverseProperties()
259 uint64 ReweightProperties(uint64 inprops) {  in ReweightProperties()  argument
260   uint64 outprops = inprops & kWeightInvariantProperties;  in ReweightProperties()
266 uint64 RmEpsilonProperties(uint64 inprops, bool delayed) {  in RmEpsilonProperties()  argument
268   outprops |= (kAcceptor | kAcyclic | kInitialAcyclic) & inprops;  in RmEpsilonProperties()
269   if (inprops & kAcceptor)  in RmEpsilonProperties()
273     outprops |= kTopSorted & inprops;  in RmEpsilonProperties()
275   if (!delayed || inprops & kAccessible)  in RmEpsilonProperties()
276     outprops |= kNotAcceptor & inprops;  in RmEpsilonProperties()
281 uint64 SynchronizeProperties(uint64 inprops) {  in SynchronizeProperties()  argument
283                      kUnweighted) & inprops;  in SynchronizeProperties()
284   if (inprops & kAccessible)  in SynchronizeProperties()
285     outprops |= (kCyclic | kNotCoAccessible | kWeighted) & inprops;  in SynchronizeProperties()