35   uint64 outprops = (kAcceptor | kUnweighted | kAccessible) & inprops;  in ClosureProperties()  local
37        outprops |= (kExpanded | kMutable | kCoAccessible |  in ClosureProperties()
40     outprops |= (kNotAcceptor | kNonIDeterministic | kNonODeterministic |  in ClosureProperties()
43   return outprops;  in ClosureProperties()
48   uint64 outprops = kAcceptor | kUnweighted | kNoEpsilons |  in ComplementProperties()  local
51   outprops |= (kILabelSorted | kOLabelSorted | kInitialCyclic) & inprops;  in ComplementProperties()
53     outprops |= kNotILabelSorted | kNotOLabelSorted | kCyclic;  in ComplementProperties()
54   return outprops;  in ComplementProperties()
59   uint64 outprops = kAccessible;  in ComposeProperties()  local
60   outprops |= (kAcceptor | kNoIEpsilons | kAcyclic | kInitialAcyclic) &  in ComposeProperties()
63     outprops |= kIDeterministic & inprops1 & inprops2;  in ComposeProperties()
65   return outprops;  in ComposeProperties()
70   uint64 outprops =  in ConcatProperties()  local
77     outprops |= (kExpanded | kMutable | kNotTopSorted | kNotString) & inprops1;  in ConcatProperties()
78     outprops |= (kNotTopSorted | kNotString) & inprops2;  in ConcatProperties()
81     outprops |= (kInitialAcyclic | kInitialCyclic) & inprops1;  in ConcatProperties()
83     outprops |= (kNotAcceptor | kNonIDeterministic | kNonODeterministic |  in ConcatProperties()
89     outprops |= kAccessible & inprops2;  in ConcatProperties()
91       outprops |= kCoAccessible & inprops2;  in ConcatProperties()
93       outprops |= (kNotAcceptor | kNonIDeterministic | kNonODeterministic |  in ConcatProperties()
98   return outprops;  in ConcatProperties()
103   uint64 outprops = kIDeterministic | kAccessible;  in DeterminizeProperties()  local
104   outprops |= (kAcceptor | kNoEpsilons | kAcyclic |  in DeterminizeProperties()
107      outprops |= (kNotAcceptor | kEpsilons | kIEpsilons | kOEpsilons |  in DeterminizeProperties()
110     outprops |= (kNoIEpsilons | kNoOEpsilons | kAccessible) & inprops;  in DeterminizeProperties()
111   return outprops;  in DeterminizeProperties()
121   uint64 outprops = (kExpanded | kMutable | kAcceptor |  in FactorWeightProperties()  local
124     outprops |= (kNotAcceptor | kNonIDeterministic | kNonODeterministic |  in FactorWeightProperties()
128   return outprops;  in FactorWeightProperties()
133   uint64 outprops = kAcceptor | kAccessible;  in IntersectProperties()  local
135   outprops |= (kNoEpsilons | kNoIEpsilons | kNoOEpsilons | kAcyclic |  in IntersectProperties()
139     outprops |= (kIDeterministic | kODeterministic) & inprops1 & inprops2;  in IntersectProperties()
140   return outprops;  in IntersectProperties()
145   uint64 outprops = (kExpanded | kMutable | kAcceptor | kNotAcceptor |  in InvertProperties()  local
153     outprops |= kODeterministic;  in InvertProperties()
155     outprops |= kNonODeterministic;  in InvertProperties()
157     outprops |= kIDeterministic;  in InvertProperties()
159     outprops |= kNonIDeterministic;  in InvertProperties()
162     outprops |= kOEpsilons;  in InvertProperties()
164     outprops |= kNoOEpsilons;  in InvertProperties()
166     outprops |= kIEpsilons;  in InvertProperties()
168     outprops |= kNoIEpsilons;  in InvertProperties()
171     outprops |= kOLabelSorted;  in InvertProperties()
173     outprops |= kNotOLabelSorted;  in InvertProperties()
175     outprops |= kILabelSorted;  in InvertProperties()
177     outprops |= kNotILabelSorted;  in InvertProperties()
178   return outprops;  in InvertProperties()
183   uint64 outprops = kAcceptor;  in ProjectProperties()  local
184   outprops |= (kExpanded | kMutable | kWeighted | kUnweighted |  in ProjectProperties()
190     outprops |= (kIDeterministic | kNonIDeterministic |  in ProjectProperties()
195       outprops |= kODeterministic;  in ProjectProperties()
197       outprops |= kNonODeterministic;  in ProjectProperties()
200       outprops |= kOEpsilons | kEpsilons;  in ProjectProperties()
202       outprops |= kNoOEpsilons | kNoEpsilons;  in ProjectProperties()
205       outprops |= kOLabelSorted;  in ProjectProperties()
207       outprops |= kNotOLabelSorted;  in ProjectProperties()
209     outprops |= (kODeterministic | kNonODeterministic |  in ProjectProperties()
214       outprops |= kIDeterministic;  in ProjectProperties()
216       outprops |= kNonIDeterministic;  in ProjectProperties()
219       outprops |= kIEpsilons | kEpsilons;  in ProjectProperties()
221       outprops |= kNoIEpsilons | kNoEpsilons;  in ProjectProperties()
224       outprops |= kILabelSorted;  in ProjectProperties()
226       outprops |= kNotILabelSorted;  in ProjectProperties()
228   return outprops;  in ProjectProperties()
238   uint64 outprops = (kExpanded | kMutable |  in RelabelProperties()  local
246   return outprops;  in RelabelProperties()
251   uint64 outprops =  in ReverseProperties()  local
255   return outprops;  in ReverseProperties()
260   uint64 outprops = inprops & kWeightInvariantProperties;  in ReweightProperties()  local
261   outprops = outprops & ~kCoAccessible;  in ReweightProperties()
262   return outprops;  in ReweightProperties()
267   uint64 outprops = kNoEpsilons;  in RmEpsilonProperties()  local
268   outprops |= (kAcceptor | kAcyclic | kInitialAcyclic) & inprops;  in RmEpsilonProperties()
270     outprops |= kNoIEpsilons | kNoOEpsilons;  in RmEpsilonProperties()
272     outprops |= kExpanded | kMutable;  in RmEpsilonProperties()
273     outprops |= kTopSorted & inprops;  in RmEpsilonProperties()
276     outprops |= kNotAcceptor & inprops;  in RmEpsilonProperties()
277   return outprops;  in RmEpsilonProperties()
282   uint64 outprops = (kAcceptor | kAcyclic | kAccessible | kCoAccessible |  in SynchronizeProperties()  local
285     outprops |= (kCyclic | kNotCoAccessible | kWeighted) & inprops;  in SynchronizeProperties()
286   return outprops;  in SynchronizeProperties()
291   uint64 outprops = (kAcceptor | kUnweighted | kAcyclic | kAccessible)  in UnionProperties()  local
296     outprops |= (kExpanded | kMutable | kNotTopSorted | kNotString) & inprops1;  in UnionProperties()
297     outprops |= (kNotTopSorted | kNotString) & inprops2;  in UnionProperties()
300     outprops |= kEpsilons | kIEpsilons | kOEpsilons;  in UnionProperties()
301     outprops |= kCoAccessible & inprops1 & inprops2;  in UnionProperties()
305     outprops |= (kNotAcceptor | kNonIDeterministic | kNonODeterministic |  in UnionProperties()
310     outprops |= (kNotAcceptor | kNonIDeterministic | kNonODeterministic |  in UnionProperties()
314   return outprops;  in UnionProperties()