pub struct ContactConstraint {
pub body1: Entity,
pub body2: Entity,
pub collider1: Entity,
pub collider2: Entity,
pub friction: Scalar,
pub restitution: Scalar,
pub tangent_velocity: Vector,
pub normal: Vector,
pub points: Vec<ContactConstraintPoint>,
pub pair_index: usize,
pub manifold_index: usize,
}
Expand description
A contact constraint used for resolving inter-penetration between two bodies.
Each constraint corresponds to a ContactManifold
indicated by the manifold_index
.
The contact points are stored in points
, and they all share the same normal
.
Fields§
§body1: Entity
The first rigid body entity in the contact.
body2: Entity
The second rigid body entity in the contact.
collider1: Entity
The first collider entity in the contact.
collider2: Entity
The second collider entity in the contact.
friction: Scalar
The combined coefficient of dynamic friction of the bodies.
restitution: Scalar
The combined coefficient of restitution of the bodies.
tangent_velocity: Vector
The desired relative linear velocity of the bodies along the surface,
expressed in world space as tangent_velocity2 - tangent_velocity1
.
Defaults to zero. If set to a non-zero value, this can be used to simulate effects such as conveyor belts.
normal: Vector
The world-space contact normal shared by all points in the contact manifold.
points: Vec<ContactConstraintPoint>
The contact points in the manifold. Each point shares the same normal
.
pair_index: usize
The index of the ContactPair
in the ContactGraph
.
This is primarily used for ordering contact constraints deterministically when parallelism is enabled. The index may be invalidated by contact removal.
manifold_index: usize
The index of the ContactManifold
in the ContactPair
stored for the two bodies.
Implementations§
Source§impl ContactConstraint
impl ContactConstraint
Sourcepub fn warm_start(
&self,
body1: &mut RigidBodyQueryItem<'_>,
body2: &mut RigidBodyQueryItem<'_>,
normal: Vector,
tangent_directions: [Vector; 2],
warm_start_coefficient: Scalar,
)
pub fn warm_start( &self, body1: &mut RigidBodyQueryItem<'_>, body2: &mut RigidBodyQueryItem<'_>, normal: Vector, tangent_directions: [Vector; 2], warm_start_coefficient: Scalar, )
Warm starts the contact constraint by applying the impulses from the previous frame or substep.
Sourcepub fn solve(
&mut self,
body1: &mut RigidBodyQueryItem<'_>,
body2: &mut RigidBodyQueryItem<'_>,
delta_secs: Scalar,
use_bias: bool,
max_overlap_solve_speed: Scalar,
)
pub fn solve( &mut self, body1: &mut RigidBodyQueryItem<'_>, body2: &mut RigidBodyQueryItem<'_>, delta_secs: Scalar, use_bias: bool, max_overlap_solve_speed: Scalar, )
Solves the ContactConstraint
, applying an impulse to the given bodies.
Sourcepub fn apply_restitution(
&mut self,
body1: &mut RigidBodyQueryItem<'_>,
body2: &mut RigidBodyQueryItem<'_>,
threshold: Scalar,
)
pub fn apply_restitution( &mut self, body1: &mut RigidBodyQueryItem<'_>, body2: &mut RigidBodyQueryItem<'_>, threshold: Scalar, )
Applies restitution for the given bodies if the relative speed
along the contact normal exceeds the given threshold
.
Trait Implementations§
Source§impl Clone for ContactConstraint
impl Clone for ContactConstraint
Source§fn clone(&self) -> ContactConstraint
fn clone(&self) -> ContactConstraint
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moreSource§impl Debug for ContactConstraint
impl Debug for ContactConstraint
Source§impl FromReflect for ContactConstraintwhere
ContactConstraint: Any + Send + Sync,
Entity: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Scalar: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vector: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vec<ContactConstraintPoint>: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
usize: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
impl FromReflect for ContactConstraintwhere
ContactConstraint: Any + Send + Sync,
Entity: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Scalar: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vector: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vec<ContactConstraintPoint>: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
usize: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Source§fn from_reflect(reflect: &dyn PartialReflect) -> Option<Self>
fn from_reflect(reflect: &dyn PartialReflect) -> Option<Self>
Self
from a reflected value.Source§fn take_from_reflect(
reflect: Box<dyn PartialReflect>,
) -> Result<Self, Box<dyn PartialReflect>>
fn take_from_reflect( reflect: Box<dyn PartialReflect>, ) -> Result<Self, Box<dyn PartialReflect>>
Self
using,
constructing the value using from_reflect
if that fails. Read moreSource§impl GetTypeRegistration for ContactConstraintwhere
ContactConstraint: Any + Send + Sync,
Entity: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Scalar: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vector: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vec<ContactConstraintPoint>: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
usize: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
impl GetTypeRegistration for ContactConstraintwhere
ContactConstraint: Any + Send + Sync,
Entity: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Scalar: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vector: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vec<ContactConstraintPoint>: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
usize: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Source§fn get_type_registration() -> TypeRegistration
fn get_type_registration() -> TypeRegistration
TypeRegistration
for this type.Source§fn register_type_dependencies(registry: &mut TypeRegistry)
fn register_type_dependencies(registry: &mut TypeRegistry)
Source§impl MapEntities for ContactConstraint
impl MapEntities for ContactConstraint
Source§fn map_entities<M: EntityMapper>(&mut self, entity_mapper: &mut M)
fn map_entities<M: EntityMapper>(&mut self, entity_mapper: &mut M)
Source§impl PartialEq for ContactConstraint
impl PartialEq for ContactConstraint
Source§impl PartialReflect for ContactConstraintwhere
ContactConstraint: Any + Send + Sync,
Entity: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Scalar: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vector: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vec<ContactConstraintPoint>: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
usize: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
impl PartialReflect for ContactConstraintwhere
ContactConstraint: Any + Send + Sync,
Entity: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Scalar: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vector: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vec<ContactConstraintPoint>: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
usize: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Source§fn get_represented_type_info(&self) -> Option<&'static TypeInfo>
fn get_represented_type_info(&self) -> Option<&'static TypeInfo>
Source§fn try_apply(&mut self, value: &dyn PartialReflect) -> Result<(), ApplyError>
fn try_apply(&mut self, value: &dyn PartialReflect) -> Result<(), ApplyError>
Source§fn reflect_kind(&self) -> ReflectKind
fn reflect_kind(&self) -> ReflectKind
Source§fn reflect_ref(&self) -> ReflectRef<'_>
fn reflect_ref(&self) -> ReflectRef<'_>
Source§fn reflect_mut(&mut self) -> ReflectMut<'_>
fn reflect_mut(&mut self) -> ReflectMut<'_>
Source§fn reflect_owned(self: Box<Self>) -> ReflectOwned
fn reflect_owned(self: Box<Self>) -> ReflectOwned
Source§fn try_into_reflect(
self: Box<Self>,
) -> Result<Box<dyn Reflect>, Box<dyn PartialReflect>>
fn try_into_reflect( self: Box<Self>, ) -> Result<Box<dyn Reflect>, Box<dyn PartialReflect>>
Source§fn try_as_reflect(&self) -> Option<&dyn Reflect>
fn try_as_reflect(&self) -> Option<&dyn Reflect>
Source§fn try_as_reflect_mut(&mut self) -> Option<&mut dyn Reflect>
fn try_as_reflect_mut(&mut self) -> Option<&mut dyn Reflect>
Source§fn into_partial_reflect(self: Box<Self>) -> Box<dyn PartialReflect>
fn into_partial_reflect(self: Box<Self>) -> Box<dyn PartialReflect>
Source§fn as_partial_reflect(&self) -> &dyn PartialReflect
fn as_partial_reflect(&self) -> &dyn PartialReflect
Source§fn as_partial_reflect_mut(&mut self) -> &mut dyn PartialReflect
fn as_partial_reflect_mut(&mut self) -> &mut dyn PartialReflect
Source§fn reflect_partial_eq(&self, value: &dyn PartialReflect) -> Option<bool>
fn reflect_partial_eq(&self, value: &dyn PartialReflect) -> Option<bool>
Source§fn reflect_clone(&self) -> Result<Box<dyn Reflect>, ReflectCloneError>
fn reflect_clone(&self) -> Result<Box<dyn Reflect>, ReflectCloneError>
Self
using reflection. Read moreSource§fn apply(&mut self, value: &(dyn PartialReflect + 'static))
fn apply(&mut self, value: &(dyn PartialReflect + 'static))
Source§fn clone_value(&self) -> Box<dyn PartialReflect>
fn clone_value(&self) -> Box<dyn PartialReflect>
reflect_clone
. To convert reflected values to dynamic ones, use to_dynamic
.Self
into its dynamic representation. Read moreSource§fn to_dynamic(&self) -> Box<dyn PartialReflect>
fn to_dynamic(&self) -> Box<dyn PartialReflect>
Source§fn reflect_hash(&self) -> Option<u64>
fn reflect_hash(&self) -> Option<u64>
Source§fn debug(&self, f: &mut Formatter<'_>) -> Result<(), Error>
fn debug(&self, f: &mut Formatter<'_>) -> Result<(), Error>
Source§fn is_dynamic(&self) -> bool
fn is_dynamic(&self) -> bool
Source§impl Reflect for ContactConstraintwhere
ContactConstraint: Any + Send + Sync,
Entity: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Scalar: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vector: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vec<ContactConstraintPoint>: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
usize: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
impl Reflect for ContactConstraintwhere
ContactConstraint: Any + Send + Sync,
Entity: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Scalar: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vector: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vec<ContactConstraintPoint>: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
usize: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Source§fn as_any_mut(&mut self) -> &mut dyn Any
fn as_any_mut(&mut self) -> &mut dyn Any
&mut dyn Any
. Read moreSource§fn into_reflect(self: Box<Self>) -> Box<dyn Reflect>
fn into_reflect(self: Box<Self>) -> Box<dyn Reflect>
Source§fn as_reflect(&self) -> &dyn Reflect
fn as_reflect(&self) -> &dyn Reflect
Source§fn as_reflect_mut(&mut self) -> &mut dyn Reflect
fn as_reflect_mut(&mut self) -> &mut dyn Reflect
Source§impl Struct for ContactConstraintwhere
ContactConstraint: Any + Send + Sync,
Entity: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Scalar: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vector: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vec<ContactConstraintPoint>: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
usize: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
impl Struct for ContactConstraintwhere
ContactConstraint: Any + Send + Sync,
Entity: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Scalar: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vector: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vec<ContactConstraintPoint>: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
usize: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Source§fn field(&self, name: &str) -> Option<&dyn PartialReflect>
fn field(&self, name: &str) -> Option<&dyn PartialReflect>
name
as a &dyn PartialReflect
.Source§fn field_mut(&mut self, name: &str) -> Option<&mut dyn PartialReflect>
fn field_mut(&mut self, name: &str) -> Option<&mut dyn PartialReflect>
name
as a
&mut dyn PartialReflect
.Source§fn field_at(&self, index: usize) -> Option<&dyn PartialReflect>
fn field_at(&self, index: usize) -> Option<&dyn PartialReflect>
index
as a
&dyn PartialReflect
.Source§fn field_at_mut(&mut self, index: usize) -> Option<&mut dyn PartialReflect>
fn field_at_mut(&mut self, index: usize) -> Option<&mut dyn PartialReflect>
index
as a &mut dyn PartialReflect
.Source§fn name_at(&self, index: usize) -> Option<&str>
fn name_at(&self, index: usize) -> Option<&str>
index
.Source§fn iter_fields(&self) -> FieldIter<'_>
fn iter_fields(&self) -> FieldIter<'_>
fn to_dynamic_struct(&self) -> DynamicStruct
Source§fn clone_dynamic(&self) -> DynamicStruct
fn clone_dynamic(&self) -> DynamicStruct
to_dynamic_struct
insteadDynamicStruct
.Source§fn get_represented_struct_info(&self) -> Option<&'static StructInfo>
fn get_represented_struct_info(&self) -> Option<&'static StructInfo>
None
if TypeInfo
is not available.Source§impl TypePath for ContactConstraint
impl TypePath for ContactConstraint
Source§fn type_path() -> &'static str
fn type_path() -> &'static str
Source§fn short_type_path() -> &'static str
fn short_type_path() -> &'static str
Source§fn type_ident() -> Option<&'static str>
fn type_ident() -> Option<&'static str>
Source§fn crate_name() -> Option<&'static str>
fn crate_name() -> Option<&'static str>
Source§impl Typed for ContactConstraintwhere
ContactConstraint: Any + Send + Sync,
Entity: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Scalar: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vector: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vec<ContactConstraintPoint>: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
usize: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
impl Typed for ContactConstraintwhere
ContactConstraint: Any + Send + Sync,
Entity: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Scalar: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vector: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Vec<ContactConstraintPoint>: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
usize: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
impl StructuralPartialEq for ContactConstraint
Auto Trait Implementations§
impl Freeze for ContactConstraint
impl RefUnwindSafe for ContactConstraint
impl Send for ContactConstraint
impl Sync for ContactConstraint
impl Unpin for ContactConstraint
impl UnwindSafe for ContactConstraint
Blanket Implementations§
Source§impl<T, U> AsBindGroupShaderType<U> for T
impl<T, U> AsBindGroupShaderType<U> for T
Source§fn as_bind_group_shader_type(&self, _images: &RenderAssets<GpuImage>) -> U
fn as_bind_group_shader_type(&self, _images: &RenderAssets<GpuImage>) -> U
T
ShaderType
for self
. When used in AsBindGroup
derives, it is safe to assume that all images in self
exist.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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
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
.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait>
(where Trait: Downcast
) to Rc<Any>
. Rc<Any>
can then be
further downcast
into Rc<ConcreteType>
where ConcreteType
implements Trait
.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &Any
’s vtable from &Trait
’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &mut Any
’s vtable from &mut Trait
’s.Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Box<dyn Trait>
(where Trait: Downcast
) to Box<dyn Any>
, which can then be
downcast
into Box<dyn ConcreteType>
where ConcreteType
implements Trait
.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait>
(where Trait: Downcast
) to Rc<Any>
, which can then be further
downcast
into Rc<ConcreteType>
where ConcreteType
implements Trait
.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &Any
’s vtable from &Trait
’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &mut Any
’s vtable from &mut Trait
’s.Source§impl<T> DowncastSend for T
impl<T> DowncastSend for T
Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<T> DynamicTypePath for Twhere
T: TypePath,
impl<T> DynamicTypePath for Twhere
T: TypePath,
Source§fn reflect_type_path(&self) -> &str
fn reflect_type_path(&self) -> &str
TypePath::type_path
.Source§fn reflect_short_type_path(&self) -> &str
fn reflect_short_type_path(&self) -> &str
Source§fn reflect_type_ident(&self) -> Option<&str>
fn reflect_type_ident(&self) -> Option<&str>
TypePath::type_ident
.Source§fn reflect_crate_name(&self) -> Option<&str>
fn reflect_crate_name(&self) -> Option<&str>
TypePath::crate_name
.Source§fn reflect_module_path(&self) -> Option<&str>
fn reflect_module_path(&self) -> Option<&str>
Source§impl<T> DynamicTyped for Twhere
T: Typed,
impl<T> DynamicTyped for Twhere
T: Typed,
Source§fn reflect_type_info(&self) -> &'static TypeInfo
fn reflect_type_info(&self) -> &'static TypeInfo
Typed::type_info
.Source§impl<S> GetField for Swhere
S: Struct,
impl<S> GetField for Swhere
S: Struct,
Source§impl<T> GetPath for T
impl<T> GetPath for T
Source§fn reflect_path<'p>(
&self,
path: impl ReflectPath<'p>,
) -> Result<&(dyn PartialReflect + 'static), ReflectPathError<'p>>
fn reflect_path<'p>( &self, path: impl ReflectPath<'p>, ) -> Result<&(dyn PartialReflect + 'static), ReflectPathError<'p>>
path
. Read moreSource§fn reflect_path_mut<'p>(
&mut self,
path: impl ReflectPath<'p>,
) -> Result<&mut (dyn PartialReflect + 'static), ReflectPathError<'p>>
fn reflect_path_mut<'p>( &mut self, path: impl ReflectPath<'p>, ) -> Result<&mut (dyn PartialReflect + 'static), ReflectPathError<'p>>
path
. Read moreSource§fn path<'p, T>(
&self,
path: impl ReflectPath<'p>,
) -> Result<&T, ReflectPathError<'p>>where
T: Reflect,
fn path<'p, T>(
&self,
path: impl ReflectPath<'p>,
) -> Result<&T, ReflectPathError<'p>>where
T: Reflect,
path
. Read moreSource§fn path_mut<'p, T>(
&mut self,
path: impl ReflectPath<'p>,
) -> Result<&mut T, ReflectPathError<'p>>where
T: Reflect,
fn path_mut<'p, T>(
&mut self,
path: impl ReflectPath<'p>,
) -> Result<&mut T, ReflectPathError<'p>>where
T: Reflect,
path
. Read moreSource§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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>
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>
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
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>
self
from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
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
self.to_subset
but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self
to the equivalent element of its superset.