Struct Finitization 

pub struct Finitization {
    pub infinite_principle: String,
    pub finite_version: String,
    pub quantitative_bound: String,
}

Finitization of an infinite principle.

Fields

infinite_principle: String

finite_version: String

quantitative_bound: String

Implementations

impl Finitization

pub fn new(inf: &str, fin: &str, bound: &str) -> Self

pub fn bolzano_weierstrass() -> Self

pub fn description(&self) -> String

Trait Implementations

impl Clone for Finitization

fn clone(&self) -> Finitization

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Finitization

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

Formats the value using the given formatter.