Struct OffsetSurface 

pub struct OffsetSurface { /* private fields */ }

A surface displaced a constant signed distance along its basis’s normal, sharing the basis’s parameterization.

Point and first derivatives are exact; the normal’s derivative is the projection formula over the basis’s second derivatives. The second derivative would need the basis’s third, which the vocabulary does not carry, so d2_at refuses by name rather than differencing quietly. For an analytic basis the offset is itself analytic and the direct type is the better spelling; this type exists for the free-form bases that have no such spelling.

Implementations

impl OffsetSurface

pub fn new(basis: SurfaceGeometry, distance: f64) -> OgeomResult<Self>

Offset basis by a signed distance along its own normal.

Errors

OgeomError::Construction if the distance is not finite and non-zero.

pub const fn basis(&self) -> &SurfaceGeometry

The surface being offset.

pub const fn distance(&self) -> f64

The signed displacement along the basis normal.

pub fn analytic(&self, tol: Tolerances) -> OgeomResult<Option<SurfaceGeometry>>

The offset as the analytic surface it is, where the basis is one: a plane moved along its normal, a drum, ball or ring’s tube grown or shrunk, a cone’s reference radius changed by d / cos α over the same half-angle. Which way the offset grows is read off the basis’s own normal at a point, not assumed from its parameterization. None for any other basis, or for an offset that would turn the surface inside out (a radius through zero).

Errors

As the basis’s evaluation, or as the analytic constructors.

Trait Implementations

impl Clone for OffsetSurface

fn clone(&self) -> OffsetSurface

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OffsetSurface

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

Formats the value using the given formatter.

impl PartialEq for OffsetSurface

fn eq(&self, other: &OffsetSurface) -> 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 StructuralPartialEq for OffsetSurface

impl Surface for OffsetSurface

fn domain(&self) -> ((f64, f64), (f64, f64))

The u and v parameter intervals.

fn point_at(&self, u: f64, v: f64, tol: Tolerances) -> OgeomResult<Point>

The point at (u, v).

fn d1_at( &self, u: f64, v: f64, tol: Tolerances, ) -> OgeomResult<(Vector, Vector)>

The two first derivatives at (u, v).

fn d2_at( &self, _u: f64, _v: f64, _tol: Tolerances, ) -> OgeomResult<(Vector, Vector, Vector)>

The three second derivatives at (u, v): d2u, duv, d2v.

fn kind(&self) -> SurfaceKind

What kind of surface this is.

fn continuity(&self) -> Continuity

How smooth the surface is across its domain.

fn is_closed_u(&self, tol: Tolerances) -> bool

Whether the surface closes on itself along u.

fn is_closed_v(&self, tol: Tolerances) -> bool

Whether the surface closes on itself along v.

fn is_periodic_u(&self) -> bool

Whether u repeats past the domain.

fn is_periodic_v(&self) -> bool

Whether v repeats past the domain.

fn jet_at(&self, u: f64, v: f64, tol: Tolerances) -> OgeomResult<SurfaceJet>

The point and every derivative through second order, together.

fn normal_at(&self, u: f64, v: f64, tol: Tolerances) -> OgeomResult<Direction>

The unit normal at (u, v), following du x dv.

fn curvature_at( &self, u: f64, v: f64, tol: Tolerances, ) -> OgeomResult<SurfaceCurvature>

The principal curvatures and directions at (u, v).

fn is_degenerate_at(&self, u: f64, v: f64, tol: Tolerances) -> OgeomResult<bool>

Whether the surface degenerates at (u, v).

fn normalize_parameters( &self, u: f64, v: f64, tol: Tolerances, ) -> OgeomResult<(f64, f64)>

Bring (u, v) into the domain, wrapping in whichever directions are periodic, or closed.

fn parameter_outside( &self, t: f64, a: f64, b: f64, periodic: bool, across: bool, tol: Tolerances, ) -> OgeomResult<f64>

A parameter outside its domain, or on a periodic direction: wrapped where the direction repeats or closes on itself, refused otherwise.