67     outprops |= (kNoEpsilons | kNoIEpsilons | kNoOEpsilons | kAcyclic |  in ComposeProperties()
73     outprops |= (kAcceptor | kNoIEpsilons | kAcyclic | kInitialAcyclic) &  in ComposeProperties()
84     (kAcceptor | kUnweighted | kAcyclic) & inprops1 & inprops2;  in ConcatProperties()
120   outprops |= (kError | kAcceptor | kAcyclic |  in DeterminizeProperties()
137                      kAcyclic | kAccessible | kCoAccessible) & inprops;  in FactorWeightProperties()
150                      kCyclic | kAcyclic | kInitialCyclic | kInitialAcyclic |  in InvertProperties()
188                kCyclic | kAcyclic | kInitialCyclic | kInitialAcyclic |  in ProjectProperties()
236   uint64 outprops = kAcyclic | kInitialAcyclic | kAccessible;  in RandGenProperties()
295     if (!(inprops[i] & kAcyclic))  in ReplaceProperties()
307     outprops |= kAcyclic;  in ReplaceProperties()
319                      kCyclic | kAcyclic |  in RelabelProperties()
333      kCyclic | kAcyclic) & inprops;  in ReverseProperties()
347   outprops |= (kError | kAcceptor | kAcyclic | kInitialAcyclic) & inprops;  in RmEpsilonProperties()
363   return props | kAcyclic | kInitialAcyclic | kAccessible | kCoAccessible;  in ShortestPathProperties()
368   uint64 outprops = (kError | kAcceptor | kAcyclic | kAccessible |  in SynchronizeProperties()
377   uint64 outprops = (kAcceptor | kUnweighted | kAcyclic | kAccessible)  in UnionProperties()