Struct Explicit 

pub struct Explicit(/* private fields */);

A point of type Explicit: the point with the coordinates p, given exactly. Its approximation is its coordinates and its error is zero.

Implementations

impl Explicit

pub fn new(p: [f64; 3]) -> Result<Self, PointError>

The point with the coordinates p.

Errors

PointError::NonFinite if a coordinate is NaN or infinite.

pub fn new_unchecked(p: [f64; 3]) -> Self

The point with the coordinates p, without checking them. A coordinate that is not finite makes Point::exact fail with ExactError::OutOfRange.

Trait Implementations

impl Clone for Explicit

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Explicit

impl Debug for Explicit

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

Formats the value using the given formatter.

impl From<Explicit> for AnyPoint

fn from(p: Explicit) -> Self

Converts to this type from the input type.

impl PartialEq for Explicit

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

Equality operator ==.

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

Inequality operator !=.

impl Point for Explicit

fn approx(&self) -> &[f64; 3]

Returns an approximation of the coordinates.

fn err(&self) -> &[f64; 3]

Returns, per coordinate, a bound on the error of approx.

fn is_explicit(&self) -> bool

Whether the point is explicit. It may return true only if approx holds the exact coordinates, every err is zero and exact gives Weight::One; returning false is always allowed. A wrong true makes the predicates return wrong signs, unchecked.

fn exact(&self, scratch: &mut Scratch<'_>) -> Result<ExactCoords, ExactError>

Writes the exact coordinates as expansions in scratch: the point is (x / w, y / w, z / w). Every span returned must hold a valid expansion of scratch (see expansion); predicates rely on it without checking it.

impl StructuralPartialEq for Explicit