Struct QuantitativeCauchy 

pub struct QuantitativeCauchy {
    pub space_name: String,
    pub convergence_rate: String,
}

Quantitative Cauchy sequence criterion.

Fields

space_name: String

convergence_rate: String

Implementations

impl QuantitativeCauchy

pub fn new(space: &str, rate: &str) -> Self

pub fn leustean_bound_for_cat0(&self) -> String

Trait Implementations

impl Clone for QuantitativeCauchy

fn clone(&self) -> QuantitativeCauchy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QuantitativeCauchy

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

Formats the value using the given formatter.