ludus::foundation::math::Enclosure¶

Struct

Closed float64 interval [Lower, Upper] that encloses an exact real value.

A valid enclosure has finite bounds with Lower <= Upper. A single value is the enclosure [value, value]. Enclosures produced by the outward operations below contain the exact real result of the same operation on every pair of exact operands inside the inputs.

Declared in modules/foundation/math/include/ludus/foundation/math/enclosure.hpp

#include <ludus/foundation/math/enclosure.hpp>

struct ludus::foundation::math::Enclosure final

Fields¶

Lower¶

float64 ludus::foundation::math::Enclosure::Lower = 0.0

Largest proven lower bound.

Related types: float64

Declared in modules/foundation/math/include/ludus/foundation/math/enclosure.hpp

Upper¶

float64 ludus::foundation::math::Enclosure::Upper = 0.0

Smallest proven upper bound.

Related types: float64

Declared in modules/foundation/math/include/ludus/foundation/math/enclosure.hpp