Lines Matching full:right
28 // A left semiring distributes on the left; a right semiring is
33 // (at least) a left or right semiring.
49 // --> a' = Divide(c, b, DIVIDE_RIGHT) if a right semiring, a'.Member()
55 // Typically the same type as Weight for a (both left and right) semiring.
56 // For the left string semiring, it is the right string semiring.
61 // Typically the identity mapping in a (both left and right) semiring.
63 // in the right string semiring.
66 // RightSemiring: indicates weights form a right semiring.
114 DIVIDE_RIGHT, // right division
123 // (resp. right) monotonic for times iff the semiring is left
124 // (resp. right) distributive. It is a total order iff the semiring
