HomeSort by relevance Sort by last modified time
    Searched refs:kSemiring (Results 1 - 6 of 6) sorted by null

  /external/srec/tools/thirdparty/OpenFst/fst/lib/
weight.h 92 const uint64 kSemiring = kLeftSemiring | kRightSemiring;
shortest-path.h 247 if ((Weight::Properties() & (kPath | kSemiring)) != (kPath | kSemiring))
  /external/openfst/src/include/fst/
weight.h 100 const uint64 kSemiring = kLeftSemiring | kRightSemiring;
shortest-path.h 264 // 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/
weight-tester.h 125 CHECK(Weight::Properties() & kSemiring);
algo_test.h 596 if ((wprops & kSemiring) == kSemiring &&
636 if ((wprops & kSemiring) == kSemiring && tprops & kAcyclic) {
785 if ((wprops & (kPath | kSemiring)) == (kPath | kSemiring)) {
    [all...]

Completed in 74 milliseconds