Searched refs:kSemiring (Results 1 - 6 of 6) sorted by relevance

/external/srec/tools/thirdparty/OpenFst/fst/lib/
H A Dweight.h92 const uint64 kSemiring = kLeftSemiring | kRightSemiring; member in namespace:fst
H A Dshortest-path.h247 if ((Weight::Properties() & (kPath | kSemiring)) != (kPath | kSemiring))
/external/openfst/src/include/fst/
H A Dweight.h100 const uint64 kSemiring = kLeftSemiring | kRightSemiring; member in namespace:fst
H A Dshortest-path.h264 // The weights need to be left and right distributive (kSemiring) and
289 if ((Weight::Properties() & (kPath | kSemiring)) != (kPath | kSemiring)) {
426 if ((Weight::Properties() & (kPath | kSemiring)) != (kPath | kSemiring)) {
/external/openfst/src/test/
H A Dweight-tester.h125 CHECK(Weight::Properties() & kSemiring);
H A Dalgo_test.h596 if ((wprops & kSemiring) == kSemiring &&
636 if ((wprops & kSemiring) == kSemiring && tprops & kAcyclic) {
785 if ((wprops & (kPath | kSemiring)) == (kPath | kSemiring)) {

Completed in 739 milliseconds