opendp::transformations

Function make_is_equal

Source 
pub fn make_is_equal<TIA, M>(
    input_domain: VectorDomain<AtomDomain<TIA>>,
    input_metric: M,
    value: TIA,
) -> Fallible<Transformation<VectorDomain<AtomDomain<TIA>>, VectorDomain<AtomDomain<bool>>, M, M>>
where
    TIA: 'static + PartialEq + CheckAtom,
    M: DatasetMetric,
    (VectorDomain<AtomDomain<TIA>>, M): MetricSpace,
    (VectorDomain<AtomDomain<bool>>, M): MetricSpace,
Expand description

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

§Arguments

  • input_domain - Domain of input data
  • input_metric - Metric on input domain
  • value - value to check against

§Generics

  • TIA - Atomic Input Type. Type of elements in the input vector

§Proof Definition

(Proof Document)