Lines Matching full:reverse
54 // ReverseWeight: the type of the corresponding reverse weight.
57 // Reverse: a mapping from Weight to ReverseWeight s.t.
58 // --> Reverse(Reverse(a)) = a
59 // --> Reverse(Plus(a, b)) = Plus(Reverse(a), Reverse(b))
60 // --> Reverse(Times(a, b)) = Times(Reverse(b), Reverse(a))
62 // In the left string semiring, it maps to the reverse string
