Lines Matching full:uint64
34 uint64 ClosureProperties(uint64 inprops, bool star, bool delayed) {
35 uint64 outprops = (kAcceptor | kUnweighted | kAccessible) & inprops;
47 uint64 ComplementProperties(uint64 inprops) {
48 uint64 outprops = kAcceptor | kUnweighted | kNoEpsilons |
58 uint64 ComposeProperties(uint64 inprops1, uint64 inprops2) {
59 uint64 outprops = kAccessible;
69 uint64 ConcatProperties(uint64 inprops1, uint64 inprops2, bool delayed) {
70 uint64 outprops =
102 uint64 DeterminizeProperties(uint64 inprops) {
103 uint64 outprops = kIDeterministic | kAccessible;
115 uint64 DifferenceProperties(uint64 inprops1, uint64 inprops2) {
120 uint64 FactorWeightProperties(uint64 inprops) {
121 uint64 outprops = (kExpanded | kMutable | kAcceptor |
132 uint64 IntersectProperties(uint64 inprops1, uint64 inprops2) {
133 uint64 outprops = kAcceptor | kAccessible;
144 uint64 InvertProperties(uint64 inprops) {
145 uint64 outprops = (kExpanded | kMutable | kAcceptor | kNotAcceptor |
182 uint64 ProjectProperties(uint64 inprops, bool project_input) {
183 uint64 outprops = kAcceptor;
232 uint64 ReplaceProperties(const vector<uint64>& inprops) {
237 uint64 RelabelProperties(uint64 inprops) {
238 uint64 outprops = (kExpanded | kMutable |
250 uint64 ReverseProperties(uint64 inprops) {
251 uint64 outprops =
259 uint64 ReweightProperties(uint64 inprops) {
260 uint64 outprops = inprops & kWeightInvariantProperties;
266 uint64 RmEpsilonProperties(uint64 inprops, bool delayed) {
267 uint64 outprops = kNoEpsilons;
281 uint64 SynchronizeProperties(uint64 inprops) {
282 uint64 outprops = (kAcceptor | kAcyclic | kAccessible | kCoAccessible |
290 uint64 UnionProperties(uint64 inprops1, uint64 inprops2, bool delayed) {
291 uint64 outprops = (kAcceptor | kUnweighted | kAcyclic | kAccessible)
