Lines Matching full:reverse
47 // ReverseWeight: the type of the corresponding reverse weight.
50 // Reverse: a mapping from Weight to ReverseWeight s.t.
51 // --> Reverse(Reverse(a)) = a
52 // --> Reverse(Plus(a, b)) = Plus(Reverse(a), Reverse(b))
53 // --> Reverse(Times(a, b)) = Times(Reverse(b), Reverse(a))
55 // In the left string semiring, it maps to the reverse string
