Lines Matching full:right
26 // A left semiring distributes on the left; a right semiring is
29 // A Weight class is required to be (at least) a left or right semiring.
42 // --> a = Divide(c, b, DIVIDE_RIGHT) if a right semiring and a.Member()
48 // Typically the same type as Weight for a (both left and right) semiring.
49 // For the left string semiring, it is the right string semiring.
54 // Typically the identity mapping in a (both left and right) semiring.
56 // in the right string semiring.
59 // RightSemiring: indicates weights form a right semiring.
106 DIVIDE_RIGHT, // right division
114 // semiring is idempotent and (left and right) distributive. It is a
129 << "(left and right) distributive: " << W::Type();
