Make a Transformation that computes the sum of bounded ints, where all values share the same sign.
Details
make_bounded_int_monotonic_sum in Rust documentation.
Citations:
Supporting Elements:
Input Domain:
VectorDomain<AtomDomain<T>>
Output Domain:
AtomDomain<T>
Input Metric:
SymmetricDistance
Output Metric:
AbsoluteDistance<T>