Searched refs:kRightSemiring (Results 1 - 22 of 22) sorted by relevance

/external/srec/tools/thirdparty/OpenFst/fst/lib/
H A Dweight.h90 const uint64 kRightSemiring = 0x0000000000000002ULL; member in namespace:fst
92 const uint64 kSemiring = kLeftSemiring | kRightSemiring;
126 uint64 props = kIdempotent | kLeftSemiring | kRightSemiring;
H A Dfloat-weight.h147 return kLeftSemiring | kRightSemiring | kCommutative |
213 return kLeftSemiring | kRightSemiring | kCommutative;
H A Dreweight.h48 if (type == REWEIGHT_TO_FINAL && !(Weight::Properties() & kRightSemiring))
H A Dshortest-path.h90 if ((Weight::Properties() & (kPath | kRightSemiring))
91 != (kPath | kRightSemiring))
H A Dproduct-weight.h91 return props1 & props2 & (kLeftSemiring | kRightSemiring |
H A Dshortest-distance.h99 if (!(Weight::Properties() & kRightSemiring))
H A Dstring-weight.h118 kLeftSemiring : kRightSemiring) | kIdempotent;
/external/openfst/src/include/fst/
H A Dweight.h98 const uint64 kRightSemiring = 0x0000000000000002ULL; member in namespace:fst
100 const uint64 kSemiring = kLeftSemiring | kRightSemiring;
H A Dexpectation-weight.h111 return props1 & props2 & (kLeftSemiring | kRightSemiring |
H A Dproduct-weight.h76 return props1 & props2 & (kLeftSemiring | kRightSemiring |
H A Dreweight.h52 if (type == REWEIGHT_TO_FINAL && !(Weight::Properties() & kRightSemiring)) {
H A Dshortest-distance.h123 if (!(Weight::Properties() & kRightSemiring)) {
327 if (Weight::Properties() & kRightSemiring) {
H A Dfloat-weight.h233 return kLeftSemiring | kRightSemiring | kCommutative |
358 return kLeftSemiring | kRightSemiring | kCommutative;
494 return kLeftSemiring | kRightSemiring | kCommutative | kIdempotent | kPath;
H A Dlexicographic-weight.h115 return props1 & props2 & (kLeftSemiring | kRightSemiring | kPath |
H A Dpower-weight.h83 return props & (kLeftSemiring | kRightSemiring |
H A Dsparse-power-weight.h135 return props & (kLeftSemiring | kRightSemiring |
H A Dshortest-path.h118 if ((Weight::Properties() & (kPath | kRightSemiring))
119 != (kPath | kRightSemiring)) {
H A Dsigned-log-weight.h91 return kLeftSemiring | kRightSemiring | kCommutative;
H A Dstring-weight.h126 kLeftSemiring : kRightSemiring) | kIdempotent;
/external/openfst/src/test/
H A Dweight-tester.h110 if (Weight::Properties() & kRightSemiring)
121 CHECK(Weight::Properties() & (kLeftSemiring | kRightSemiring));
140 if (Weight::Properties() & kRightSemiring) {
H A Dalgo_test.h216 if (Weight::Properties() & kRightSemiring) {
246 if (Weight::Properties() & kRightSemiring) {
273 if (Weight::Properties() & kRightSemiring) {
296 if (Weight::Properties() & kRightSemiring) {
693 if (wprops & kRightSemiring) {
776 if ((wprops & (kPath | kRightSemiring)) == (kPath | kRightSemiring)) {
/external/openfst/src/include/fst/extensions/pdt/
H A Dshortest-path.h403 if ((Weight::Properties() & (kPath | kRightSemiring))
404 != (kPath | kRightSemiring)) {

Completed in 4724 milliseconds