Lines Matching refs:inprops
38 uint64 ClosureProperties(uint64 inprops, bool star, bool delayed) { in ClosureProperties() argument
39 uint64 outprops = (kError | kAcceptor | kUnweighted | kAccessible) & inprops; in ClosureProperties()
42 kNotTopSorted | kNotString) & inprops; in ClosureProperties()
43 if (!delayed || inprops & kAccessible) in ClosureProperties()
46 kNotAccessible | kNotCoAccessible) & inprops; in ClosureProperties()
51 uint64 ComplementProperties(uint64 inprops) { in ComplementProperties() argument
56 inprops; in ComplementProperties()
57 if (inprops & kAccessible) in ComplementProperties()
116 uint64 DeterminizeProperties(uint64 inprops, bool has_subsequential_label) { in DeterminizeProperties() argument
118 if (((kAcceptor | kNoIEpsilons) & inprops) || has_subsequential_label) in DeterminizeProperties()
121 kInitialAcyclic | kCoAccessible | kString) & inprops; in DeterminizeProperties()
122 if (inprops & kNoIEpsilons) in DeterminizeProperties()
123 outprops |= kNoEpsilons & inprops; in DeterminizeProperties()
124 if (inprops & kAccessible) in DeterminizeProperties()
126 kCyclic) & inprops; in DeterminizeProperties()
127 if (inprops & kAcceptor) in DeterminizeProperties()
128 outprops |= (kNoIEpsilons | kNoOEpsilons) & inprops; in DeterminizeProperties()
129 if ((inprops & kNoIEpsilons) && has_subsequential_label) in DeterminizeProperties()
135 uint64 FactorWeightProperties(uint64 inprops) { in FactorWeightProperties() argument
137 kAcyclic | kAccessible | kCoAccessible) & inprops; in FactorWeightProperties()
138 if (inprops & kAccessible) in FactorWeightProperties()
142 & inprops; in FactorWeightProperties()
147 uint64 InvertProperties(uint64 inprops) { in InvertProperties() argument
154 kString | kNotString) & inprops; in InvertProperties()
155 if (kIDeterministic & inprops) in InvertProperties()
157 if (kNonIDeterministic & inprops) in InvertProperties()
159 if (kODeterministic & inprops) in InvertProperties()
161 if (kNonODeterministic & inprops) in InvertProperties()
164 if (kIEpsilons & inprops) in InvertProperties()
166 if (kNoIEpsilons & inprops) in InvertProperties()
168 if (kOEpsilons & inprops) in InvertProperties()
170 if (kNoOEpsilons & inprops) in InvertProperties()
173 if (kILabelSorted & inprops) in InvertProperties()
175 if (kNotILabelSorted & inprops) in InvertProperties()
177 if (kOLabelSorted & inprops) in InvertProperties()
179 if (kNotOLabelSorted & inprops) in InvertProperties()
185 uint64 ProjectProperties(uint64 inprops, bool project_input) { in ProjectProperties() argument
191 kString | kNotString) & inprops; in ProjectProperties()
195 kILabelSorted | kNotILabelSorted) & inprops; in ProjectProperties()
197 if (kIDeterministic & inprops) in ProjectProperties()
199 if (kNonIDeterministic & inprops) in ProjectProperties()
202 if (kIEpsilons & inprops) in ProjectProperties()
204 if (kNoIEpsilons & inprops) in ProjectProperties()
207 if (kILabelSorted & inprops) in ProjectProperties()
209 if (kNotILabelSorted & inprops) in ProjectProperties()
214 kOLabelSorted | kNotOLabelSorted) & inprops; in ProjectProperties()
216 if (kODeterministic & inprops) in ProjectProperties()
218 if (kNonODeterministic & inprops) in ProjectProperties()
221 if (kOEpsilons & inprops) in ProjectProperties()
223 if (kNoOEpsilons & inprops) in ProjectProperties()
226 if (kOLabelSorted & inprops) in ProjectProperties()
228 if (kNotOLabelSorted & inprops) in ProjectProperties()
235 uint64 RandGenProperties(uint64 inprops, bool weighted) { in RandGenProperties() argument
237 outprops |= inprops & kError; in RandGenProperties()
243 kILabelSorted | kOLabelSorted) & inprops; in RandGenProperties()
246 outprops |= (kAcceptor | kILabelSorted | kOLabelSorted) & inprops; in RandGenProperties()
252 uint64 ReplaceProperties(const vector<uint64>& inprops, in ReplaceProperties() argument
256 if (inprops.size() == 0) in ReplaceProperties()
259 for (size_t i = 0; i < inprops.size(); ++i) in ReplaceProperties()
260 outprops |= kError & inprops[i]; in ReplaceProperties()
262 for (size_t i = 0; i < inprops.size(); ++i) in ReplaceProperties()
263 access_props &= (inprops[i] & (kAccessible | kCoAccessible)); in ReplaceProperties()
266 if (inprops[root] & kInitialCyclic) in ReplaceProperties()
270 for (size_t i = 0; i < inprops.size(); ++i) { in ReplaceProperties()
272 props |= kNotAcceptor & inprops[i]; in ReplaceProperties()
275 kNotTopSorted | kNotString) & inprops[i]; in ReplaceProperties()
276 if (!(inprops[i] & kString)) in ReplaceProperties()
288 for (size_t i = 0; i < inprops.size(); ++i) { in ReplaceProperties()
289 if (!(inprops[i] & kAcceptor)) in ReplaceProperties()
291 if (!(inprops[i] & kIDeterministic)) in ReplaceProperties()
293 if (!(inprops[i] & kNoIEpsilons)) in ReplaceProperties()
295 if (!(inprops[i] & kAcyclic)) in ReplaceProperties()
297 if (!(inprops[i] & kUnweighted)) in ReplaceProperties()
310 if (inprops[root] & kInitialAcyclic) in ReplaceProperties()
316 uint64 RelabelProperties(uint64 inprops) { in RelabelProperties() argument
324 kString | kNotString) & inprops; in RelabelProperties()
329 uint64 ReverseProperties(uint64 inprops) { in ReverseProperties() argument
333 kCyclic | kAcyclic) & inprops; in ReverseProperties()
338 uint64 ReweightProperties(uint64 inprops) { in ReweightProperties() argument
339 uint64 outprops = inprops & kWeightInvariantProperties; in ReweightProperties()
345 uint64 RmEpsilonProperties(uint64 inprops, bool delayed) { in RmEpsilonProperties() argument
347 outprops |= (kError | kAcceptor | kAcyclic | kInitialAcyclic) & inprops; in RmEpsilonProperties()
348 if (inprops & kAcceptor) in RmEpsilonProperties()
352 outprops |= kTopSorted & inprops; in RmEpsilonProperties()
354 if (!delayed || inprops & kAccessible) in RmEpsilonProperties()
355 outprops |= kNotAcceptor & inprops; in RmEpsilonProperties()
367 uint64 SynchronizeProperties(uint64 inprops) { in SynchronizeProperties() argument
369 kCoAccessible | kUnweighted) & inprops; in SynchronizeProperties()
370 if (inprops & kAccessible) in SynchronizeProperties()
371 outprops |= (kCyclic | kNotCoAccessible | kWeighted) & inprops; in SynchronizeProperties()