Struct StaticFilter 

pub struct StaticFilter { /* private fields */ }

Precomputed error bounds for a declared coordinate range.

Construct once per model, reuse across every predicate call.

Implementations

impl StaticFilter

pub fn new(bound: f64) -> Option<StaticFilter>

Build bounds valid for coordinates with |x| <= bound.

Returns None for a non-finite or non-positive bound, and for a bound so large that the derived error bound is not finite: in both cases no sign could be certified, and returning a filter that always defers would hide the configuration error. A bound so small that a derived error bound falls below the normal range is refused as well: the determinant’s products then underflow, the bound no longer covers the rounding error, and a bound of zero would certify every nonzero sign.

pub const fn bound(self) -> f64

The coordinate range this filter was built for.

impl StaticFilter

pub fn orient2d(self, a: DVec2, b: DVec2, c: DVec2) -> Option<Sign>

Try to settle orient2d with the precomputed bound.

None means “not settled”: either a point lies outside the declared range, or the determinant is too small for the static bound. The caller must fall back to the full predicate, which is always correct.

pub fn orient3d(self, a: DVec3, b: DVec3, c: DVec3, d: DVec3) -> Option<Sign>

Try to settle orient3d with the precomputed bound.

Trait Implementations

impl Clone for StaticFilter

fn clone(&self) -> StaticFilter

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for StaticFilter

impl Debug for StaticFilter

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

Formats the value using the given formatter.

impl PartialEq for StaticFilter

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for StaticFilter