Struct RealClosureAdvancedStats 

pub struct RealClosureAdvancedStats {
    pub sign_determinations: u64,
    pub comparisons: u64,
    pub thom_encodings: u64,
    pub refinements: u64,
}

Statistics for advanced real closure operations.

Fields

sign_determinations: u64

Sign determinations.

comparisons: u64

Comparisons performed.

thom_encodings: u64

Thom encodings computed.

refinements: u64

Interval refinements.

Trait Implementations

impl Clone for RealClosureAdvancedStats

fn clone(&self) -> RealClosureAdvancedStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RealClosureAdvancedStats

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

Formats the value using the given formatter.

impl Default for RealClosureAdvancedStats

fn default() -> RealClosureAdvancedStats

Returns the “default value” for a type.