Struct nalgebra::base::constraint::ShapeConstraint
source · pub struct ShapeConstraint;Expand description
A type used in where clauses for enforcing constraints.
Trait Implementations§
source§impl<D: Dim> DimEq<D, D> for ShapeConstraint
impl<D: Dim> DimEq<D, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1 or D2, always choosing the one (if any) which is a type-level
constant. Read moresource§impl<D: DimName> DimEq<D, Dynamic> for ShapeConstraint
impl<D: DimName> DimEq<D, Dynamic> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1 or D2, always choosing the one (if any) which is a type-level
constant. Read moresource§impl<D: DimName> DimEq<Dynamic, D> for ShapeConstraint
impl<D: DimName> DimEq<Dynamic, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1 or D2, always choosing the one (if any) which is a type-level
constant. Read moresource§impl<D: Dim> SameDimension<D, D> for ShapeConstraint
impl<D: Dim> SameDimension<D, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1 or D2, always choosing the one (if any) which is a type-level
constant. Read moresource§impl<D: DimName> SameDimension<D, Dynamic> for ShapeConstraint
impl<D: DimName> SameDimension<D, Dynamic> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1 or D2, always choosing the one (if any) which is a type-level
constant. Read moresource§impl<D: DimName> SameDimension<Dynamic, D> for ShapeConstraint
impl<D: DimName> SameDimension<Dynamic, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1 or D2, always choosing the one (if any) which is a type-level
constant. Read moresource§impl<D: Dim> SameNumberOfColumns<D, D> for ShapeConstraint
impl<D: Dim> SameNumberOfColumns<D, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1 or D2, always choosing the one (if any) which is a type-level
constant. Read moresource§impl<D: DimName> SameNumberOfColumns<D, Dynamic> for ShapeConstraint
impl<D: DimName> SameNumberOfColumns<D, Dynamic> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1 or D2, always choosing the one (if any) which is a type-level
constant. Read moresource§impl<D: DimName> SameNumberOfColumns<Dynamic, D> for ShapeConstraint
impl<D: DimName> SameNumberOfColumns<Dynamic, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1 or D2, always choosing the one (if any) which is a type-level
constant. Read moresource§impl<D: Dim> SameNumberOfRows<D, D> for ShapeConstraint
impl<D: Dim> SameNumberOfRows<D, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1 or D2, always choosing the one (if any) which is a type-level
constant. Read moresource§impl<D: DimName> SameNumberOfRows<D, Dynamic> for ShapeConstraint
impl<D: DimName> SameNumberOfRows<D, Dynamic> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1 or D2, always choosing the one (if any) which is a type-level
constant. Read moresource§impl<D: DimName> SameNumberOfRows<Dynamic, D> for ShapeConstraint
impl<D: DimName> SameNumberOfRows<Dynamic, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1 or D2, always choosing the one (if any) which is a type-level
constant. Read moreimpl<R1: Dim, C1: Dim, R2: Dim, C2: Dim> AreMultipliable<R1, C1, R2, C2> for ShapeConstraintwhere
ShapeConstraint: DimEq<C1, R2>,
Auto Trait Implementations§
impl RefUnwindSafe for ShapeConstraint
impl Send for ShapeConstraint
impl Sync for ShapeConstraint
impl Unpin for ShapeConstraint
impl UnwindSafe for ShapeConstraint
Blanket Implementations§
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§unsafe fn to_subset_unchecked(&self) -> SS
unsafe 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.