pub struct EPA<N>where
    N: RealField + Copy,{ /* private fields */ }
Expand description

The Expanding Polytope Algorithm in 2D.

Implementations§

source§

impl<N> EPA<N>where N: RealField + Copy,

source

pub fn new() -> EPA<N>

Creates a new instance of the 2D Expanding Polytope Algorithm.

source

pub fn project_origin<G>( &mut self, m: &Isometry<N, Unit<Complex<N>>, 2>, g: &G, simplex: &VoronoiSimplex<N> ) -> Option<OPoint<N, Const<2>>>where G: SupportMap<N> + ?Sized,

Projects the origin on boundary the given shape.

The origin is assumed to be inside of the shape. If it is outside, use the GJK algorithm instead. Return None if the origin is not inside of the shape or if the EPA algorithm failed to compute the projection.

source

pub fn closest_points<G1, G2>( &mut self, m1: &Isometry<N, Unit<Complex<N>>, 2>, g1: &G1, m2: &Isometry<N, Unit<Complex<N>>, 2>, g2: &G2, simplex: &VoronoiSimplex<N> ) -> Option<(OPoint<N, Const<2>>, OPoint<N, Const<2>>, Unit<Matrix<N, Const<nalgebra::::base::dimension::U2::{constant#0}>, Const<1>, ArrayStorage<N, 2, 1>>>)>where G1: SupportMap<N> + ?Sized, G2: SupportMap<N> + ?Sized,

Projects the origin on a shape unsing the EPA algorithm.

The origin is assumed to be located inside of the shape. Returns None if the EPA fails to converge or if g1 and g2 are not penetrating.

Auto Trait Implementations§

§

impl<N> RefUnwindSafe for EPA<N>where N: RefUnwindSafe,

§

impl<N> Send for EPA<N>

§

impl<N> Sync for EPA<N>

§

impl<N> Unpin for EPA<N>where N: Unpin,

§

impl<N> UnwindSafe for EPA<N>where N: UnwindSafe,

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
§

impl<T> Downcast for Twhere T: Any,

§

fn into_any(self: Box<T, Global>) -> Box<dyn Any, Global>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
§

fn into_any_rc(self: Rc<T, Global>) -> Rc<dyn Any, Global>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
§

impl<T> DowncastSync for Twhere T: Any + Send + Sync,

§

fn into_any_arc(self: Arc<T, Global>) -> Arc<dyn Any + Send + Sync, Global>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
§

impl<T> Finalize for T

§

unsafe fn finalize_raw(data: *mut ())

Safety 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 Twhere 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> Same<T> for T

§

type Output = T

Should always be Self
§

impl<SS, SP> SupersetOf<SS> for SPwhere SS: SubsetOf<SP>,

§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
source§

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

§

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 Twhere U: TryFrom<T>,

§

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.
§

impl<T> Component for Twhere T: Send + Sync + 'static,