Searched refs:kLeftSemiring (Results 1 – 13 of 13) sorted by relevance
95 const uint64 kLeftSemiring = 0x0000000000000001ULL; variable100 const uint64 kSemiring = kLeftSemiring | kRightSemiring;
233 return kLeftSemiring | kRightSemiring | kCommutative | in Properties()358 return kLeftSemiring | kRightSemiring | kCommutative; in Properties()494 return kLeftSemiring | kRightSemiring | kCommutative | kIdempotent | kPath; in Properties()
76 return props1 & props2 & (kLeftSemiring | kRightSemiring | in Properties()
111 return props1 & props2 & (kLeftSemiring | kRightSemiring | in Properties()
60 if (type == REWEIGHT_TO_INITIAL && !(Weight::Properties() & kLeftSemiring)) { in Reweight()
115 return props1 & props2 & (kLeftSemiring | kRightSemiring | kPath | in Properties()
83 return props & (kLeftSemiring | kRightSemiring | in Properties()
135 return props & (kLeftSemiring | kRightSemiring | in Properties()
91 return kLeftSemiring | kRightSemiring | kCommutative; in Properties()
76 if (!(StringWeight<L, S>::Properties() & kLeftSemiring)) { in operator()485 if (!(Weight::Properties() & kLeftSemiring)) { in DeterminizeFsaImpl()
126 kLeftSemiring : kRightSemiring) | kIdempotent; in Properties()
107 if (Weight::Properties() & kLeftSemiring) in TestSemiring()121 CHECK(Weight::Properties() & (kLeftSemiring | kRightSemiring)); in TestSemiring()132 if (Weight::Properties() & kLeftSemiring) { in TestDivision()
197 if (Weight::Properties() & kLeftSemiring) { in TestRational()234 if (Weight::Properties() & kLeftSemiring) { in TestRational()259 if (Weight::Properties() & kLeftSemiring) { in TestRational()286 if (Weight::Properties() & kLeftSemiring) { in TestRational()708 if (wprops & kLeftSemiring) { in TestOptimize()