Lines Matching refs:inprops1
63 uint64 ComposeProperties(uint64 inprops1, uint64 inprops2) {
64 uint64 outprops = kError & (inprops1 | inprops2);
65 if (inprops1 & kAcceptor && inprops2 & kAcceptor) {
68 kInitialAcyclic) & inprops1 & inprops2;
69 if (kNoIEpsilons & inprops1 & inprops2)
70 outprops |= (kIDeterministic | kODeterministic) & inprops1 & inprops2;
74 inprops1 & inprops2;
75 if (kNoIEpsilons & inprops1 & inprops2)
76 outprops |= kIDeterministic & inprops1 & inprops2;
82 uint64 ConcatProperties(uint64 inprops1, uint64 inprops2, bool delayed) {
84 (kAcceptor | kUnweighted | kAcyclic) & inprops1 & inprops2;
85 outprops |= kError & (inprops1 | inprops2);
91 outprops |= (kExpanded | kMutable | kNotTopSorted | kNotString) & inprops1;
95 outprops |= (kInitialAcyclic | kInitialCyclic) & inprops1;
96 if (!delayed || inprops1 & kAccessible)
100 kNotAccessible | kNotCoAccessible) & inprops1;
101 if ((inprops1 & (kAccessible | kCoAccessible)) ==
374 uint64 UnionProperties(uint64 inprops1, uint64 inprops2, bool delayed) {
376 & inprops1 & inprops2;
377 outprops |= kError & (inprops1 | inprops2);
382 outprops |= (kExpanded | kMutable | kNotTopSorted | kNotString) & inprops1;
387 outprops |= kCoAccessible & inprops1 & inprops2;
390 if (!delayed || inprops1 & kAccessible)
394 kNotAccessible) & inprops1;