Searched refs:kLeftSemiring (Results 1 – 6 of 6) sorted by relevance
87 const uint64 kLeftSemiring = 0x0000000000000001ULL; variable92 const uint64 kSemiring = kLeftSemiring | kRightSemiring;126 uint64 props = kIdempotent | kLeftSemiring | kRightSemiring; in NaturalLess()
147 return kLeftSemiring | kRightSemiring | kCommutative | in Properties()213 return kLeftSemiring | kRightSemiring | kCommutative; in Properties()
53 if (type == REWEIGHT_TO_INITIAL && !(Weight::Properties() & kLeftSemiring)) in Reweight()
91 return props1 & props2 & (kLeftSemiring | kRightSemiring | in Properties()
68 if (!(StringWeight<L, S>::Properties() & kLeftSemiring)) in operator()231 if (!(Weight::Properties() & kLeftSemiring)) in DeterminizeFsaImpl()
118 kLeftSemiring : kRightSemiring) | kIdempotent; in Properties()