Struct CertifiedProjectionOptions

pub struct CertifiedProjectionOptions { /* private fields */ }

Explicit work and accuracy policy for globally certified projection.

Certification succeeds only when the returned global distance-bound gap is no larger than tolerance.linear(). max_nodes independently caps both pre-search refinement work and generated subdivision cells; pair queries share one refinement allowance across both input curves. One refinement work unit is one newly allocated homogeneous-control, expanded-knot, emitted control, or cell slot. Binary subdivision is also depth-bounded. There is deliberately no context-free Default.

Implementations

impl CertifiedProjectionOptions

pub fn new( tolerance: Tolerance, max_nodes: u32, max_depth: u16, ) -> GeomResult<Self>

Construct a non-vacuous certification policy.

pub const fn tolerance(self) -> Tolerance

Required upper-minus-lower global distance gap.

pub const fn max_nodes(self) -> u32

Maximum refinement-allocation work units per query phase and maximum number of generated search cells. Pair queries share the refinement allowance across both curves.

pub const fn max_depth(self) -> u16

Maximum binary subdivision depth of one Bézier segment.

Trait Implementations

impl Clone for CertifiedProjectionOptions

fn clone(&self) -> CertifiedProjectionOptions

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CertifiedProjectionOptions

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

Formats the value using the given formatter.

impl PartialEq for CertifiedProjectionOptions

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for CertifiedProjectionOptions

impl StructuralPartialEq for CertifiedProjectionOptions