Struct ApproximateVerification 

pub struct ApproximateVerification {
    pub epsilon: f64,
    pub delta: f64,
    pub verified_property: String,
    pub confidence: f64,
}

Fields

epsilon: f64

delta: f64

verified_property: String

confidence: f64

Implementations

impl ApproximateVerification

pub fn pac_verification(eps: f64, delta: f64, prop: &str) -> Self

pub fn sample_complexity(&self) -> usize

pub fn soundness_statement(&self) -> String

Trait Implementations

impl Clone for ApproximateVerification

fn clone(&self) -> ApproximateVerification

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ApproximateVerification

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.