Trait truck_geometry::base::traits::ParametricSurface

pub trait ParametricSurface: Clone {
    type Point;
    type Vector;

    // Required methods
    fn subs(&self, u: f64, v: f64) -> Self::Point;
    fn uder(&self, u: f64, v: f64) -> Self::Vector;
    fn vder(&self, u: f64, v: f64) -> Self::Vector;
    fn uuder(&self, u: f64, v: f64) -> Self::Vector;
    fn uvder(&self, u: f64, v: f64) -> Self::Vector;
    fn vvder(&self, u: f64, v: f64) -> Self::Vector;

    // Provided methods
    fn parameter_range(
        &self,
    ) -> ((Bound<f64>, Bound<f64>), (Bound<f64>, Bound<f64>)) { ... }
    fn try_range_tuple(&self) -> (Option<(f64, f64)>, Option<(f64, f64)>) { ... }
    fn u_period(&self) -> Option<f64> { ... }
    fn v_period(&self) -> Option<f64> { ... }
}

Expand description

Parametric surface

Required Associated Types§

type Point

The surface is in the space of Self::Point.

type Vector

The derivation vector of the curve.

Required Methods§

fn subs(&self, u: f64, v: f64) -> Self::Point

Substitutes the parameter (u, v).

fn uder(&self, u: f64, v: f64) -> Self::Vector

Returns the derivation by u.

fn vder(&self, u: f64, v: f64) -> Self::Vector

Returns the derivation by v.

fn uuder(&self, u: f64, v: f64) -> Self::Vector

Returns the 2nd-order derivation by u.

fn uvder(&self, u: f64, v: f64) -> Self::Vector

Returns the 2nd-order derivation by both u and v.

fn vvder(&self, u: f64, v: f64) -> Self::Vector

Returns the 2nd-order derivation by v.

Provided Methods§

fn parameter_range( &self, ) -> ((Bound<f64>, Bound<f64>), (Bound<f64>, Bound<f64>))

The range of the parameter of the surface.

fn try_range_tuple(&self) -> (Option<(f64, f64)>, Option<(f64, f64)>)

Return the ends of parameter_range by tuple. If the range is unbounded, return `None``.

fn u_period(&self) -> Option<f64>

None in default; Some(period) if periodic w.r.t. parameter u.

fn v_period(&self) -> Option<f64>

None in default; Some(period) if periodic w.r.t. parameter v.

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

impl ParametricSurface for ()

Implementation for the test of topological methods.

type Point = ()

type Vector = ()

fn subs(&self, _: f64, _: f64) -> <() as ParametricSurface>::Point

fn uder(&self, _: f64, _: f64) -> <() as ParametricSurface>::Vector

fn vder(&self, _: f64, _: f64) -> <() as ParametricSurface>::Vector

fn uuder(&self, _: f64, _: f64) -> <() as ParametricSurface>::Vector

fn uvder(&self, _: f64, _: f64) -> <() as ParametricSurface>::Vector

fn vvder(&self, _: f64, _: f64) -> <() as ParametricSurface>::Vector

fn parameter_range( &self, ) -> ((Bound<f64>, Bound<f64>), (Bound<f64>, Bound<f64>))

impl<'a, S> ParametricSurface for &'a S
where S: ParametricSurface,

type Point = <S as ParametricSurface>::Point

type Vector = <S as ParametricSurface>::Vector

fn subs(&self, u: f64, v: f64) -> <&'a S as ParametricSurface>::Point

fn uder(&self, u: f64, v: f64) -> <&'a S as ParametricSurface>::Vector

fn vder(&self, u: f64, v: f64) -> <&'a S as ParametricSurface>::Vector

fn uuder(&self, u: f64, v: f64) -> <&'a S as ParametricSurface>::Vector

fn uvder(&self, u: f64, v: f64) -> <&'a S as ParametricSurface>::Vector

fn vvder(&self, u: f64, v: f64) -> <&'a S as ParametricSurface>::Vector

fn parameter_range( &self, ) -> ((Bound<f64>, Bound<f64>), (Bound<f64>, Bound<f64>))

fn u_period(&self) -> Option<f64>

fn v_period(&self) -> Option<f64>

impl<S> ParametricSurface for Box<S>
where S: ParametricSurface,

type Point = <S as ParametricSurface>::Point

type Vector = <S as ParametricSurface>::Vector

fn subs(&self, u: f64, v: f64) -> <Box<S> as ParametricSurface>::Point

fn uder(&self, u: f64, v: f64) -> <Box<S> as ParametricSurface>::Vector

fn vder(&self, u: f64, v: f64) -> <Box<S> as ParametricSurface>::Vector

fn uuder(&self, u: f64, v: f64) -> <Box<S> as ParametricSurface>::Vector

fn uvder(&self, u: f64, v: f64) -> <Box<S> as ParametricSurface>::Vector

fn vvder(&self, u: f64, v: f64) -> <Box<S> as ParametricSurface>::Vector

fn parameter_range( &self, ) -> ((Bound<f64>, Bound<f64>), (Bound<f64>, Bound<f64>))

fn u_period(&self) -> Option<f64>

fn v_period(&self) -> Option<f64>

Implementors§

impl ParametricSurface for Plane

type Point = Point3<f64>

type Vector = Vector3<f64>

impl ParametricSurface for Sphere

type Point = Point3<f64>

type Vector = Vector3<f64>

impl ParametricSurface for Torus

type Point = Point3<f64>

type Vector = Vector3<f64>

impl<C> ParametricSurface for ExtrudedCurve<C, C::Vector>
where C: ParametricCurve, C::Point: EuclideanSpace<Scalar = f64, Diff = C::Vector>, C::Vector: VectorSpace<Scalar = f64>,

type Point = <C as ParametricCurve>::Point

type Vector = <C as ParametricCurve>::Vector

impl<C: ParametricCurve3D> ParametricSurface for RevolutedCurve<C>

type Point = Point3<f64>

type Vector = Vector3<f64>

impl<P: ControlPoint<f64>> ParametricSurface for BSplineSurface<P>

type Point = P

type Vector = <P as ControlPoint<f64>>::Diff

impl<S, T> ParametricSurface for Processor<S, T>
where S: ParametricSurface, S::Point: EuclideanSpace<Scalar = f64, Diff = S::Vector>, T: Transform<S::Point> + SquareMatrix<Scalar = f64> + Clone,

type Point = <S as ParametricSurface>::Point

type Vector = <S as ParametricSurface>::Vector

impl<V: Homogeneous<f64> + ControlPoint<f64, Diff = V>> ParametricSurface for NurbsSurface<V>

type Point = <V as Homogeneous<f64>>::Point

type Vector = <<V as Homogeneous<f64>>::Point as EuclideanSpace>::Diff