Struct ScoreValueEnclosure 

pub struct ScoreValueEnclosure {
    pub value: ClosedInterval,
    pub evaluation_error: f64,
}

Exact score-value range and the numerical resolution of point values.

value contains the exact-real score at every point of the cell. evaluation_error is an absolute forward-error bound for both endpoint values supplied with that cell:

|endpoint.value - exact_score(endpoint.x)| <= evaluation_error.

An interval-extension oracle may provide the stronger cell-uniform bound. The search needs only the endpoint statement: every representative it retains is an evaluated cell endpoint. The corresponding uncertainty of a comparison between the two endpoints is at most 2 * evaluation_error.

Fields

value: ClosedInterval

evaluation_error: f64

Trait Implementations

impl Clone for ScoreValueEnclosure

fn clone(&self) -> ScoreValueEnclosure

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ScoreValueEnclosure

impl Debug for ScoreValueEnclosure

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

Formats the value using the given formatter.

impl PartialEq for ScoreValueEnclosure

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ScoreValueEnclosure