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