Lines Matching refs:inprops
34 uint64 ClosureProperties(uint64 inprops, bool star, bool delayed) {
35 uint64 outprops = (kAcceptor | kUnweighted | kAccessible) & inprops;
38 kNotTopSorted | kNotString) & inprops;
39 if (!delayed || inprops & kAccessible)
42 kNotAccessible | kNotCoAccessible) & inprops;
47 uint64 ComplementProperties(uint64 inprops) {
51 outprops |= (kILabelSorted | kOLabelSorted | kInitialCyclic) & inprops;
52 if (inprops & kAccessible)
102 uint64 DeterminizeProperties(uint64 inprops) {
105 kInitialAcyclic | kCoAccessible | kString) & inprops;
106 if (inprops & kAccessible)
108 kCyclic) & inprops;
109 if (inprops & kAcceptor)
110 outprops |= (kNoIEpsilons | kNoOEpsilons | kAccessible) & inprops;
120 uint64 FactorWeightProperties(uint64 inprops) {
122 kAcyclic | kAccessible | kCoAccessible) & inprops;
123 if (inprops & kAccessible)
127 & inprops;
144 uint64 InvertProperties(uint64 inprops) {
151 kString | kNotString) & inprops;
152 if (kIDeterministic & inprops)
154 if (kNonIDeterministic & inprops)
156 if (kODeterministic & inprops)
158 if (kNonODeterministic & inprops)
161 if (kIEpsilons & inprops)
163 if (kNoIEpsilons & inprops)
165 if (kOEpsilons & inprops)
167 if (kNoOEpsilons & inprops)
170 if (kILabelSorted & inprops)
172 if (kNotILabelSorted & inprops)
174 if (kOLabelSorted & inprops)
176 if (kNotOLabelSorted & inprops)
182 uint64 ProjectProperties(uint64 inprops, bool project_input) {
188 kString | kNotString) & inprops;
192 kILabelSorted | kNotILabelSorted) & inprops;
194 if (kIDeterministic & inprops)
196 if (kNonIDeterministic & inprops)
199 if (kIEpsilons & inprops)
201 if (kNoIEpsilons & inprops)
204 if (kILabelSorted & inprops)
206 if (kNotILabelSorted & inprops)
211 kOLabelSorted | kNotOLabelSorted) & inprops;
213 if (kODeterministic & inprops)
215 if (kNonODeterministic & inprops)
218 if (kOEpsilons & inprops)
220 if (kNoOEpsilons & inprops)
223 if (kOLabelSorted & inprops)
225 if (kNotOLabelSorted & inprops)
232 uint64 ReplaceProperties(const vector<uint64>& inprops) {
237 uint64 RelabelProperties(uint64 inprops) {
245 kString | kNotString) & inprops;
250 uint64 ReverseProperties(uint64 inprops) {
254 kCyclic | kAcyclic) & inprops;
259 uint64 ReweightProperties(uint64 inprops) {
260 uint64 outprops = inprops & kWeightInvariantProperties;
266 uint64 RmEpsilonProperties(uint64 inprops, bool delayed) {
268 outprops |= (kAcceptor | kAcyclic | kInitialAcyclic) & inprops;
269 if (inprops & kAcceptor)
273 outprops |= kTopSorted & inprops;
275 if (!delayed || inprops & kAccessible)
276 outprops |= kNotAcceptor & inprops;
281 uint64 SynchronizeProperties(uint64 inprops) {
283 kUnweighted) & inprops;
284 if (inprops & kAccessible)
285 outprops |= (kCyclic | kNotCoAccessible | kWeighted) & inprops;
