Home
last modified time | relevance | path

Searched refs:kLeftSemiring (Results 1 – 19 of 19) sorted by relevance

/external/srec/tools/thirdparty/OpenFst/fst/lib/
Dweight.h87 const uint64 kLeftSemiring = 0x0000000000000001ULL; variable
92 const uint64 kSemiring = kLeftSemiring | kRightSemiring;
126 uint64 props = kIdempotent | kLeftSemiring | kRightSemiring; in NaturalLess()
Dfloat-weight.h147 return kLeftSemiring | kRightSemiring | kCommutative | in Properties()
213 return kLeftSemiring | kRightSemiring | kCommutative; in Properties()
Dreweight.h53 if (type == REWEIGHT_TO_INITIAL && !(Weight::Properties() & kLeftSemiring)) in Reweight()
Dproduct-weight.h91 return props1 & props2 & (kLeftSemiring | kRightSemiring | in Properties()
Ddeterminize.h68 if (!(StringWeight<L, S>::Properties() & kLeftSemiring)) in operator()
231 if (!(Weight::Properties() & kLeftSemiring)) in DeterminizeFsaImpl()
Dstring-weight.h118 kLeftSemiring : kRightSemiring) | kIdempotent; in Properties()
/external/openfst/src/include/fst/
Dweight.h95 const uint64 kLeftSemiring = 0x0000000000000001ULL; variable
100 const uint64 kSemiring = kLeftSemiring | kRightSemiring;
Dproduct-weight.h76 return props1 & props2 & (kLeftSemiring | kRightSemiring | in Properties()
Dexpectation-weight.h111 return props1 & props2 & (kLeftSemiring | kRightSemiring | in Properties()
Dfloat-weight.h230 return kLeftSemiring | kRightSemiring | kCommutative | in Properties()
355 return kLeftSemiring | kRightSemiring | kCommutative; in Properties()
491 return kLeftSemiring | kRightSemiring | kCommutative | kIdempotent | kPath; in Properties()
Dreweight.h60 if (type == REWEIGHT_TO_INITIAL && !(Weight::Properties() & kLeftSemiring)) { in Reweight()
Dlexicographic-weight.h115 return props1 & props2 & (kLeftSemiring | kRightSemiring | kPath | in Properties()
Dpower-weight.h83 return props & (kLeftSemiring | kRightSemiring | in Properties()
Dsparse-power-weight.h135 return props & (kLeftSemiring | kRightSemiring | in Properties()
Dsigned-log-weight.h91 return kLeftSemiring | kRightSemiring | kCommutative; in Properties()
Ddeterminize.h75 if (!(StringWeight<L, S>::Properties() & kLeftSemiring)) { in operator()
272 if (!(Weight::Properties() & kLeftSemiring)) { in DeterminizeFsaImpl()
Dstring-weight.h126 kLeftSemiring : kRightSemiring) | kIdempotent; in Properties()
/external/openfst/src/test/
Dweight-tester.h107 if (Weight::Properties() & kLeftSemiring) in TestSemiring()
121 CHECK(Weight::Properties() & (kLeftSemiring | kRightSemiring)); in TestSemiring()
132 if (Weight::Properties() & kLeftSemiring) { in TestDivision()
Dalgo_test.h197 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()