Lines Matching refs:kAcyclic
60 outprops |= (kAcceptor | kNoIEpsilons | kAcyclic | kInitialAcyclic) & in ComposeProperties()
71 (kAcceptor | kUnweighted | kAcyclic) & inprops1 & inprops2; in ConcatProperties()
104 outprops |= (kAcceptor | kNoEpsilons | kAcyclic | in DeterminizeProperties()
122 kAcyclic | kAccessible | kCoAccessible) & inprops; in FactorWeightProperties()
135 outprops |= (kNoEpsilons | kNoIEpsilons | kNoOEpsilons | kAcyclic | in IntersectProperties()
147 kCyclic | kAcyclic | kInitialCyclic | kInitialAcyclic | in InvertProperties()
185 kCyclic | kAcyclic | kInitialCyclic | kInitialAcyclic | in ProjectProperties()
240 kCyclic | kAcyclic | in RelabelProperties()
254 kCyclic | kAcyclic) & inprops; in ReverseProperties()
268 outprops |= (kAcceptor | kAcyclic | kInitialAcyclic) & inprops; in RmEpsilonProperties()
282 uint64 outprops = (kAcceptor | kAcyclic | kAccessible | kCoAccessible | in SynchronizeProperties()
291 uint64 outprops = (kAcceptor | kUnweighted | kAcyclic | kAccessible) in UnionProperties()