58 uint64 ComposeProperties(uint64 inprops1, uint64 inprops2) {  in ComposeProperties()  argument
61               inprops1 & inprops2;  in ComposeProperties()
62   if ((kNoIEpsilons & inprops1 & inprops2)) {  in ComposeProperties()
63     outprops |= kIDeterministic & inprops1 & inprops2;  in ComposeProperties()
69 uint64 ConcatProperties(uint64 inprops1, uint64 inprops2, bool delayed) {  in ConcatProperties()  argument
71     (kAcceptor | kUnweighted | kAcyclic) & inprops1 & inprops2;  in ConcatProperties()
78     outprops |= (kNotTopSorted | kNotString) & inprops2;  in ConcatProperties()
89     outprops |= kAccessible & inprops2;  in ConcatProperties()
91       outprops |= kCoAccessible & inprops2;  in ConcatProperties()
92     if (!delayed || inprops2 & kAccessible)  in ConcatProperties()
96                    kNotAccessible | kNotCoAccessible) & inprops2;  in ConcatProperties()
115 uint64 DifferenceProperties(uint64 inprops1, uint64 inprops2) {  in DifferenceProperties()  argument
116   return IntersectProperties(inprops1, ComplementProperties(inprops2));  in DifferenceProperties()
132 uint64 IntersectProperties(uint64 inprops1, uint64 inprops2) {  in IntersectProperties()  argument
136                kInitialAcyclic) & inprops1 & inprops2;  in IntersectProperties()
138   if ((kNoIEpsilons & inprops1 & inprops2))  in IntersectProperties()
139     outprops |= (kIDeterministic | kODeterministic) & inprops1 & inprops2;  in IntersectProperties()
290 uint64 UnionProperties(uint64 inprops1, uint64 inprops2, bool delayed) {  in UnionProperties()  argument
292                     & inprops1 & inprops2;  in UnionProperties()
297     outprops |= (kNotTopSorted | kNotString) & inprops2;  in UnionProperties()
301     outprops |= kCoAccessible & inprops1 & inprops2;  in UnionProperties()
309   if (!delayed || inprops2 & kAccessible)  in UnionProperties()
313                  kNotAccessible | kNotCoAccessible) & inprops2;  in UnionProperties()