Make a Transformation that computes the sum of bounded ints. Adds the saturating sum of the positives to the saturating sum of the negatives.
Details
Required features: contrib
make_bounded_int_split_sum in Rust documentation.
Citations:
Supporting Elements:
Input Domain:
VectorDomain<AtomDomain<T>>Output Domain:
SymmetricDistanceInput Metric:
AtomDomain<T>Output Metric:
AbsoluteDistance<T>