pub struct StrongMapletValidator { /* private fields */ }
Expand description
Strong maplet property validator
Implementations§
Source§impl StrongMapletValidator
impl StrongMapletValidator
Sourcepub fn new(
max_chain_length: usize,
error_threshold: f64,
) -> StrongMapletValidator
pub fn new( max_chain_length: usize, error_threshold: f64, ) -> StrongMapletValidator
Create a new strong maplet validator
Sourcepub fn validate_strong_property<V, Op>(
&self,
collision_tracker: &CollisionTracker,
error_rate: f64,
) -> Result<StrongMapletValidation, MapletError>where
V: Clone,
Op: MergeOperator<V>,
pub fn validate_strong_property<V, Op>(
&self,
collision_tracker: &CollisionTracker,
error_rate: f64,
) -> Result<StrongMapletValidation, MapletError>where
V: Clone,
Op: MergeOperator<V>,
Validate the strong maplet property
The strong maplet property states that: m[k] = M[k] ⊕ (⊕ᵢ₌₁ˡ M[kᵢ]) where Pr[ℓ ≥ L] ≤ ε^L
Trait Implementations§
Source§impl Clone for StrongMapletValidator
impl Clone for StrongMapletValidator
Source§fn clone(&self) -> StrongMapletValidator
fn clone(&self) -> StrongMapletValidator
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreAuto Trait Implementations§
impl Freeze for StrongMapletValidator
impl RefUnwindSafe for StrongMapletValidator
impl Send for StrongMapletValidator
impl Sync for StrongMapletValidator
impl Unpin for StrongMapletValidator
impl UnwindSafe for StrongMapletValidator
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more