BezierSpline

Struct BezierSpline 

Source
pub struct BezierSpline<T>(/* private fields */);
Expand description

A curve composed of one or more concatenated cubic Bézier curves.

Implementations§

Source§

impl<T> BezierSpline<T>
where T: Affine<Diff: Linear<Scalar = f32> + Clone> + Clone,

Source

pub fn new(pts: &[T]) -> Self

Creates a Bézier spline from the given control points. The number of elements in pts must be 3n + 1 for some positive integer n.

Consecutive points in pts make up Bézier curves such that:

  • pts[0..=3] define the first curve,
  • pts[3..=6] define the second curve,

and so on.

§Panics

If pts.len() < 4 or if pts.len() % 3 != 1.

Source

pub fn from_rays<I>(rays: I) -> Self
where I: IntoIterator<Item = Ray<T>>,

Constructs a Bézier spline

Source

pub fn eval(&self, t: f32) -> T

Evaluates self at position t.

Returns the first point if t < 0 and the last point if t > 1.

Source

pub fn tangent(&self, t: f32) -> T::Diff

Returns the tangent of self at t.

Clamps t to the range [0, 1].

Source

pub fn approximate(&self, halt: impl Fn(&T::Diff) -> bool) -> Polyline<T>

Approximates self as a sequence of line segments.

Recursively subdivides the curve into two half-curves, stopping once the approximation error is small enough, as determined by the halt function.

Given a curve segment between some points p and r, the parameter passed to halt is the distance to the real midpoint q from its linear approximation q'. If halt returns true, the line segment pr is returned as the approximation of this curve segment, otherwise the bisection continues.

Note that this heuristic does not work well in certain edge cases (consider, for example, an S-shaped curve where q' is very close to q, yet a straight line would be a poor approximation). However, in practice it tends to give reasonable results.

                ___--- q ---___
            _--´       |       `--_
        _--´           |           `--_
     _-p ------------- q' ------------ r-_
  _-´                                     `-_
§Examples
use retrofire_core::math::{BezierSpline, vec2, Vec2};

let curve = BezierSpline::<Vec2>::new(
    &[vec2(0.0, 0.0), vec2(0.0, 1.0), vec2(1.0, 1.0), vec2(1.0, 0.0)]
);
let approx = curve.approximate(|err| err.len_sqr() < 0.01*0.01);
assert_eq!(approx.0.len(), 17);

Trait Implementations§

Source§

impl<T: Clone> Clone for BezierSpline<T>

Source§

fn clone(&self) -> BezierSpline<T>

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<T: Debug> Debug for BezierSpline<T>

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<T> Parametric<T> for BezierSpline<T>
where T: Affine<Diff: Linear<Scalar = f32> + Clone> + Clone,

Source§

fn eval(&self, t: f32) -> T

Returns the value of self at t. Read more
Source§

impl<T: PartialEq> PartialEq for BezierSpline<T>

Source§

fn eq(&self, other: &BezierSpline<T>) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

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

impl<T: Eq> Eq for BezierSpline<T>

Source§

impl<T> StructuralPartialEq for BezierSpline<T>

Auto Trait Implementations§

§

impl<T> Freeze for BezierSpline<T>

§

impl<T> RefUnwindSafe for BezierSpline<T>
where T: RefUnwindSafe,

§

impl<T> Send for BezierSpline<T>
where T: Send,

§

impl<T> Sync for BezierSpline<T>
where T: Sync,

§

impl<T> Unpin for BezierSpline<T>
where T: Unpin,

§

impl<T> UnwindSafe for BezierSpline<T>
where T: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.