Enum DeviationBound 

#[non_exhaustive]
pub enum DeviationBound {
    Proven(Scalar),
    Certified(Scalar),
    Unbounded(&'static str),
}

A bound on how far the exact surface may lie from the mesh.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Proven(Scalar)

Guaranteed by the construction’s own proof, without inspecting the mesh (#231): typically the chord budget itself.

Certified(Scalar)

Computed for this mesh from certified derivative bounds and exact distances (#232).

Unbounded(&'static str)

No certified bound exists for this path; the reason names it.

Implementations

impl DeviationBound

pub const fn value(self) -> Option<Scalar>

The bound’s value, None when unbounded.

pub fn worst(self, other: Self) -> Self

The worse of two bounds: unbounded wins, else the larger value (keeping its kind).

Trait Implementations

impl Clone for DeviationBound

fn clone(&self) -> DeviationBound

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DeviationBound

impl Debug for DeviationBound

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

Formats the value using the given formatter.

impl PartialEq for DeviationBound

fn eq(&self, other: &DeviationBound) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for DeviationBound