pub struct ContactConstraint {
pub entity1: Entity,
pub entity2: Entity,
pub collider_entity1: Entity,
pub collider_entity2: Entity,
pub friction: Friction,
pub restitution: Restitution,
pub normal: Vector,
pub points: Vec<ContactConstraintPoint>,
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§
§entity1: Entity
The first entity in the contact.
entity2: Entity
The second entity in the contact.
collider_entity1: Entity
The entity of the first collider in the contact.
collider_entity2: Entity
The entity of the first collider in the contact.
friction: Friction
The combined Friction
of the bodies.
restitution: Restitution
The combined Restitution
of the bodies.
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
.
manifold_index: usize
The index of the ContactManifold
in the Contacts
stored for the two bodies.
Implementations§
source§impl ContactConstraint
impl ContactConstraint
sourcepub fn generate(
manifold_id: usize,
manifold: &ContactManifold,
body1: &RigidBodyQueryReadOnlyItem<'_>,
body2: &RigidBodyQueryReadOnlyItem<'_>,
collider_entity1: Entity,
collider_entity2: Entity,
collider_transform1: Option<ColliderTransform>,
collider_transform2: Option<ColliderTransform>,
collision_margin: impl Into<CollisionMargin>,
speculative_margin: impl Into<SpeculativeMargin>,
friction: Friction,
restitution: Restitution,
softness: SoftnessCoefficients,
warm_start: bool,
delta_secs: Scalar,
) -> Self
pub fn generate( manifold_id: usize, manifold: &ContactManifold, body1: &RigidBodyQueryReadOnlyItem<'_>, body2: &RigidBodyQueryReadOnlyItem<'_>, collider_entity1: Entity, collider_entity2: Entity, collider_transform1: Option<ColliderTransform>, collider_transform2: Option<ColliderTransform>, collision_margin: impl Into<CollisionMargin>, speculative_margin: impl Into<SpeculativeMargin>, friction: Friction, restitution: Restitution, softness: SoftnessCoefficients, warm_start: bool, delta_secs: Scalar, ) -> Self
Generates a new ContactConstraint
for the given bodies based on a ContactManifold
.
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,
Friction: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Restitution: 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,
Friction: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Restitution: 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,
Friction: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Restitution: 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,
Friction: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Restitution: 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,
Friction: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Restitution: 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,
Friction: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Restitution: 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 clone_value(&self) -> Box<dyn PartialReflect>
fn clone_value(&self) -> Box<dyn PartialReflect>
Reflect
trait object. Read moresource§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 apply(&mut self, value: &(dyn PartialReflect + 'static))
fn apply(&mut self, value: &(dyn PartialReflect + 'static))
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 serializable(&self) -> Option<Serializable<'_>>
fn serializable(&self) -> Option<Serializable<'_>>
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,
Friction: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Restitution: 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,
Friction: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Restitution: 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,
Friction: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Restitution: 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,
Friction: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Restitution: 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<'_>
source§fn clone_dynamic(&self) -> DynamicStruct
fn clone_dynamic(&self) -> DynamicStruct
DynamicStruct
.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,
Friction: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Restitution: 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,
Friction: FromReflect + TypePath + MaybeTyped + RegisterForReflection,
Restitution: 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§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)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> 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.