pub struct Se3 { /* private fields */ }Expand description
A rigid motion: a rotation and a translation.
Implementations§
Source§impl Se3
impl Se3
Sourcepub fn from_parts(rotation: So3, translation: Vector3<f64>) -> Self
pub fn from_parts(rotation: So3, translation: Vector3<f64>) -> Self
Builds a transform from a rotation and a translation.
Sourcepub fn from_matrix_unchecked(matrix: Matrix4<f64>) -> Self
pub fn from_matrix_unchecked(matrix: Matrix4<f64>) -> Self
Builds a transform from a homogeneous 4×4 matrix.
The rotational block is not checked for orthogonality. This exists for reading poses out of files, where the matrix is already given and vouched for by the data source rather than by us.
Sourcepub fn translation(&self) -> &Vector3<f64>
pub fn translation(&self) -> &Vector3<f64>
The translational part.
Sourcepub fn exp(xi: &Vector6<f64>) -> Self
pub fn exp(xi: &Vector6<f64>) -> Self
The exponential map se(3) → SE(3).
exp([ρ; φ]) = (exp(φ), J_l(φ)·ρ). The translation passes through
the left Jacobian; the naive t = ρ is only a first-order truth.
Trait Implementations§
impl Copy for Se3
impl StructuralPartialEq for Se3
Auto Trait Implementations§
impl Freeze for Se3
impl RefUnwindSafe for Se3
impl Send for Se3
impl Sync for Se3
impl Unpin for Se3
impl UnsafeUnpin for Se3
impl UnwindSafe for Se3
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Scalar for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.