clamp constructor

Make a Transformation that clamps numeric data in Vec<TA> to bounds.

Usage

make_clamp(input_domain, input_metric, bounds)

Arguments

input_domain

Domain of input data.

input_metric

Metric on input domain.

bounds

Tuple of inclusive lower and upper bounds.

Value

Transformation

Details

If datum is less than lower, let datum be lower. If datum is greater than upper, let datum be upper.

Required features: contrib

make_clamp in Rust documentation.

Supporting Elements:

• Input Domain: VectorDomain<AtomDomain<TA>>

• Output Domain: VectorDomain<AtomDomain<TA>>

• Input Metric: M

• Output Metric: M

Proof Definition:

(Proof Document)