is equal constructor

Make a Transformation that checks if each element is equal to value.

Usage

make_is_equal(input_domain, input_metric, value)

Arguments

input_domain

undocumented

input_metric

undocumented

value

value to check against

Value

Transformation

Details

make_is_equal in Rust documentation.

Supporting Elements:

• Input Domain: VectorDomain<AtomDomain<TIA>>

• Output Domain: VectorDomain<AtomDomain<bool>>

• Input Metric: M

• Output Metric: M

Proof Definition:

(Proof Document)