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
make_bounded_int_split_sum in Rust documentation.
Citations:
Supporting Elements:
Input Domain:
VectorDomain<AtomDomain<T>>
Output Domain:
AtomDomain<T>
Input Metric:
SymmetricDistance
Output Metric:
AbsoluteDistance<T>