Trait opendp::traits::DistanceConstant[−][src]

pub trait DistanceConstant<TI>: 'static + Clone + InfCast<TI> + Div<Output = Self> + Mul<Output = Self> + TotalOrd where
    TI: InfCast<Self>, { }
Expand description

A type that can be used as a stability or privacy constant to scale a distance. Encapsulates the necessary traits for the new_from_constant method on relations. Making a relation from a constant has the general form d_out >= QO::distance_cast(d_in) * c (where d_out and c have type QO: DistanceConstant) Computing this needs all of the traits DistanceConstant inherits from:

  • InfCast: casting where the distance after the cast is gte the distance before the cast
  • QO also clearly needs to support Mul and PartialOrd used in the general form above.
  • Div is used for the backward map: How do you translate d_out to a d_in that can be used as a hint? |d_out| d_out / c

Implementors