Searched refs:kSemiring (Results 1 – 4 of 4) sorted by relevance
289 if ((Weight::Properties() & (kPath | kSemiring)) != (kPath | kSemiring)) {426 if ((Weight::Properties() & (kPath | kSemiring)) != (kPath | kSemiring)) { in ShortestPath()
100 const uint64 kSemiring = kLeftSemiring | kRightSemiring; variable
596 if ((wprops & kSemiring) == kSemiring && in TestOptimize()636 if ((wprops & kSemiring) == kSemiring && tprops & kAcyclic) { in TestOptimize()785 if ((wprops & (kPath | kSemiring)) == (kPath | kSemiring)) { in TestSearch()
125 CHECK(Weight::Properties() & kSemiring); in TestSemiring()