Searched refs:kRightSemiring (Results 1 – 15 of 15) sorted by relevance
98 const uint64 kRightSemiring = 0x0000000000000002ULL; variable100 const uint64 kSemiring = kLeftSemiring | kRightSemiring;
123 if (!(Weight::Properties() & kRightSemiring)) { in ShortestDistance()327 if (Weight::Properties() & 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()
52 if (type == REWEIGHT_TO_FINAL && !(Weight::Properties() & kRightSemiring)) { in Reweight()
115 return props1 & props2 & (kLeftSemiring | kRightSemiring | kPath | in Properties()
83 return props & (kLeftSemiring | kRightSemiring | in Properties()
118 if ((Weight::Properties() & (kPath | kRightSemiring)) in SingleShortestPath()119 != (kPath | kRightSemiring)) { in SingleShortestPath()
135 return props & (kLeftSemiring | kRightSemiring | in Properties()
91 return kLeftSemiring | kRightSemiring | kCommutative; in Properties()
126 kLeftSemiring : kRightSemiring) | kIdempotent; in Properties()
110 if (Weight::Properties() & kRightSemiring) in TestSemiring()121 CHECK(Weight::Properties() & (kLeftSemiring | kRightSemiring)); in TestSemiring()140 if (Weight::Properties() & kRightSemiring) { in TestDivision()
216 if (Weight::Properties() & kRightSemiring) { in TestRational()246 if (Weight::Properties() & kRightSemiring) { in TestRational()273 if (Weight::Properties() & kRightSemiring) { in TestRational()296 if (Weight::Properties() & kRightSemiring) { in TestRational()693 if (wprops & kRightSemiring) { in TestOptimize()776 if ((wprops & (kPath | kRightSemiring)) == (kPath | kRightSemiring)) { in TestSearch()
403 if ((Weight::Properties() & (kPath | kRightSemiring)) in PdtShortestPath()404 != (kPath | kRightSemiring)) { in PdtShortestPath()