Make a Transformation that computes the sum of bounded ints.
You may need to use make_ordered_random
to impose an ordering on the data.
Details
make_bounded_int_ordered_sum in Rust documentation.
Citations:
Supporting Elements:
Input Domain:
VectorDomain<AtomDomain<T>>
Output Domain:
AtomDomain<T>
Input Metric:
InsertDeleteDistance
Output Metric:
AbsoluteDistance<T>