Trait opendp::traits::arithmetic::InfDiv
source · pub trait InfDiv: Sized + AlertingDiv {
// Required methods
fn inf_div(&self, v: &Self) -> Fallible<Self>;
fn neg_inf_div(&self, v: &Self) -> Fallible<Self>;
}Expand description
Fallible division with specified rounding.
Throws an error if the ideal output is not finite or representable.
Required Methods§
sourcefn inf_div(&self, v: &Self) -> Fallible<Self>
fn inf_div(&self, v: &Self) -> Fallible<Self>
Proof Definition
For any two values self and v of type Self,
self.inf_div(v) either returns Ok(out),
where $out \ge self / v$, or Err(e).
sourcefn neg_inf_div(&self, v: &Self) -> Fallible<Self>
fn neg_inf_div(&self, v: &Self) -> Fallible<Self>
Proof Definition
For any two values self and v of type Self,
self.neg_inf_div(v) either returns Ok(out),
where $out \le self / v$, or Err(e).
Object Safety§
This trait is not object safe.