Trait opendp::transformations::LipschitzMulFloatDomain

pub trait LipschitzMulFloatDomain: Domain + Default {
    type Atom: 'static + Float;

    // Required method
    fn transform(
        constant: &Self::Atom,
        bounds: &(Self::Atom, Self::Atom),
        v: &Self::Carrier
    ) -> Fallible<Self::Carrier>;
}

Implemented for any domain that supports multiplication lipschitz extensions

Required Associated Types

type Atom: 'static + Float

Required Methods

fn transform( constant: &Self::Atom, bounds: &(Self::Atom, Self::Atom), v: &Self::Carrier ) -> Fallible<Self::Carrier>

Object Safety

This trait is not object safe.

Implementors

impl<D: LipschitzMulFloatDomain> LipschitzMulFloatDomain for VectorDomain<D>

where D::Atom: Copy + SaturatingMul + CheckNull + TotalOrd,

type Atom = <D as LipschitzMulFloatDomain>::Atom

impl<T> LipschitzMulFloatDomain for AtomDomain<T>

where T: 'static + Float,

type Atom = T