pub struct DistanceJoint {
pub entity1: Entity,
pub entity2: Entity,
pub local_anchor1: Vector,
pub local_anchor2: Vector,
pub rest_length: Scalar,
pub length_limits: Option<DistanceLimit>,
pub damping_linear: Scalar,
pub damping_angular: Scalar,
pub lagrange: Scalar,
pub compliance: Scalar,
pub force: Vector,
}
Expand description
A distance joint keeps the attached bodies at a certain distance from each other while while allowing rotation around all axes.
Distance joints can be useful for things like springs, muscles, and mass-spring networks.
Fields§
§entity1: Entity
First entity constrained by the joint.
entity2: Entity
Second entity constrained by the joint.
local_anchor1: Vector
Attachment point on the first body.
local_anchor2: Vector
Attachment point on the second body.
rest_length: Scalar
The distance the attached bodies will be kept relative to each other.
length_limits: Option<DistanceLimit>
The extents of the allowed relative translation between the attached bodies.
damping_linear: Scalar
Linear damping applied by the joint.
damping_angular: Scalar
Angular damping applied by the joint.
lagrange: Scalar
Lagrange multiplier for the positional correction.
compliance: Scalar
The joint’s compliance, the inverse of stiffness, has the unit meters / Newton.
force: Vector
The force exerted by the joint.
Implementations§
source§impl DistanceJoint
impl DistanceJoint
sourcepub fn with_limits(self, min: Scalar, max: Scalar) -> Self
pub fn with_limits(self, min: Scalar, max: Scalar) -> Self
Sets the minimum and maximum distances between the attached bodies.
sourcepub fn with_rest_length(self, rest_length: Scalar) -> Self
pub fn with_rest_length(self, rest_length: Scalar) -> Self
Sets the joint’s rest length, or distance the bodies will be kept at.
Trait Implementations§
source§impl AngularConstraint for DistanceJoint
impl AngularConstraint for DistanceJoint
source§fn apply_angular_lagrange_update(
&self,
body1: &mut RigidBodyQueryItem<'_>,
body2: &mut RigidBodyQueryItem<'_>,
delta_lagrange: Scalar,
axis: Vector
) -> Vector
fn apply_angular_lagrange_update( &self, body1: &mut RigidBodyQueryItem<'_>, body2: &mut RigidBodyQueryItem<'_>, delta_lagrange: Scalar, axis: Vector ) -> Vector
source§fn apply_angular_impulse(
&self,
body1: &mut RigidBodyQueryItem<'_>,
body2: &mut RigidBodyQueryItem<'_>,
impulse: Vector
) -> Vector
fn apply_angular_impulse( &self, body1: &mut RigidBodyQueryItem<'_>, body2: &mut RigidBodyQueryItem<'_>, impulse: Vector ) -> Vector
source§fn align_orientation(
&self,
body1: &mut RigidBodyQueryItem<'_>,
body2: &mut RigidBodyQueryItem<'_>,
rotation_difference: Vector,
lagrange: &mut Scalar,
compliance: Scalar,
dt: Scalar
) -> Vector
fn align_orientation( &self, body1: &mut RigidBodyQueryItem<'_>, body2: &mut RigidBodyQueryItem<'_>, rotation_difference: Vector, lagrange: &mut Scalar, compliance: Scalar, dt: Scalar ) -> Vector
source§fn apply_angular_correction(
&self,
body1: &mut RigidBodyQueryItem<'_>,
body2: &mut RigidBodyQueryItem<'_>,
delta_lagrange: Scalar,
axis: Vector
) -> Vector
fn apply_angular_correction( &self, body1: &mut RigidBodyQueryItem<'_>, body2: &mut RigidBodyQueryItem<'_>, delta_lagrange: Scalar, axis: Vector ) -> Vector
source§fn compute_generalized_inverse_mass(
&self,
body: &RigidBodyQueryItem<'_>,
axis: Vector
) -> Scalar
fn compute_generalized_inverse_mass( &self, body: &RigidBodyQueryItem<'_>, axis: Vector ) -> Scalar
axis
.source§fn get_delta_rot(
rot: Rotation,
inverse_inertia: Matrix3,
p: Vector
) -> Quaternion
fn get_delta_rot( rot: Rotation, inverse_inertia: Matrix3, p: Vector ) -> Quaternion
p
.source§impl Clone for DistanceJoint
impl Clone for DistanceJoint
source§fn clone(&self) -> DistanceJoint
fn clone(&self) -> DistanceJoint
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Component for DistanceJoint
impl Component for DistanceJoint
source§const STORAGE_TYPE: StorageType = bevy::ecs::component::StorageType::Table
const STORAGE_TYPE: StorageType = bevy::ecs::component::StorageType::Table
source§fn register_component_hooks(_hooks: &mut ComponentHooks)
fn register_component_hooks(_hooks: &mut ComponentHooks)
ComponentHooks
.source§impl Debug for DistanceJoint
impl Debug for DistanceJoint
source§impl FromReflect for DistanceJointwhere
Self: Any + Send + Sync,
Entity: FromReflect + TypePath + RegisterForReflection,
Vector: FromReflect + TypePath + RegisterForReflection,
Scalar: FromReflect + TypePath + RegisterForReflection,
Option<DistanceLimit>: FromReflect + TypePath + RegisterForReflection,
impl FromReflect for DistanceJointwhere
Self: Any + Send + Sync,
Entity: FromReflect + TypePath + RegisterForReflection,
Vector: FromReflect + TypePath + RegisterForReflection,
Scalar: FromReflect + TypePath + RegisterForReflection,
Option<DistanceLimit>: FromReflect + TypePath + RegisterForReflection,
source§fn from_reflect(reflect: &dyn Reflect) -> Option<Self>
fn from_reflect(reflect: &dyn Reflect) -> Option<Self>
Self
from a reflected value.source§fn take_from_reflect(
reflect: Box<dyn Reflect>
) -> Result<Self, Box<dyn Reflect>>
fn take_from_reflect( reflect: Box<dyn Reflect> ) -> Result<Self, Box<dyn Reflect>>
Self
using,
constructing the value using from_reflect
if that fails. Read moresource§impl GetTypeRegistration for DistanceJointwhere
Self: Any + Send + Sync,
Entity: FromReflect + TypePath + RegisterForReflection,
Vector: FromReflect + TypePath + RegisterForReflection,
Scalar: FromReflect + TypePath + RegisterForReflection,
Option<DistanceLimit>: FromReflect + TypePath + RegisterForReflection,
impl GetTypeRegistration for DistanceJointwhere
Self: Any + Send + Sync,
Entity: FromReflect + TypePath + RegisterForReflection,
Vector: FromReflect + TypePath + RegisterForReflection,
Scalar: FromReflect + TypePath + RegisterForReflection,
Option<DistanceLimit>: FromReflect + TypePath + 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 Joint for DistanceJoint
impl Joint for DistanceJoint
source§fn with_compliance(self, compliance: Scalar) -> Self
fn with_compliance(self, compliance: Scalar) -> Self
source§fn with_local_anchor_1(self, anchor: Vector) -> Self
fn with_local_anchor_1(self, anchor: Vector) -> Self
source§fn with_local_anchor_2(self, anchor: Vector) -> Self
fn with_local_anchor_2(self, anchor: Vector) -> Self
source§fn with_linear_velocity_damping(self, damping: Scalar) -> Self
fn with_linear_velocity_damping(self, damping: Scalar) -> Self
source§fn with_angular_velocity_damping(self, damping: Scalar) -> Self
fn with_angular_velocity_damping(self, damping: Scalar) -> Self
source§fn local_anchor_1(&self) -> Vector
fn local_anchor_1(&self) -> Vector
source§fn local_anchor_2(&self) -> Vector
fn local_anchor_2(&self) -> Vector
source§fn damping_linear(&self) -> Scalar
fn damping_linear(&self) -> Scalar
source§fn damping_angular(&self) -> Scalar
fn damping_angular(&self) -> Scalar
source§fn align_position(
&self,
body1: &mut RigidBodyQueryItem<'_>,
body2: &mut RigidBodyQueryItem<'_>,
r1: Vector,
r2: Vector,
lagrange: &mut Scalar,
compliance: Scalar,
dt: Scalar
) -> Vector
fn align_position( &self, body1: &mut RigidBodyQueryItem<'_>, body2: &mut RigidBodyQueryItem<'_>, r1: Vector, r2: Vector, lagrange: &mut Scalar, compliance: Scalar, dt: Scalar ) -> Vector
r1
and r2
. Read moresource§impl MapEntities for DistanceJoint
impl MapEntities for DistanceJoint
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 DistanceJoint
impl PartialEq for DistanceJoint
source§fn eq(&self, other: &DistanceJoint) -> bool
fn eq(&self, other: &DistanceJoint) -> bool
self
and other
values to be equal, and is used
by ==
.source§impl PositionConstraint for DistanceJoint
impl PositionConstraint for DistanceJoint
source§fn apply_positional_lagrange_update(
&self,
body1: &mut RigidBodyQueryItem<'_>,
body2: &mut RigidBodyQueryItem<'_>,
delta_lagrange: Scalar,
direction: Vector,
r1: Vector,
r2: Vector
) -> Vector
fn apply_positional_lagrange_update( &self, body1: &mut RigidBodyQueryItem<'_>, body2: &mut RigidBodyQueryItem<'_>, delta_lagrange: Scalar, direction: Vector, r1: Vector, r2: Vector ) -> Vector
source§fn apply_positional_impulse(
&self,
body1: &mut RigidBodyQueryItem<'_>,
body2: &mut RigidBodyQueryItem<'_>,
impulse: Vector,
r1: Vector,
r2: Vector
) -> Vector
fn apply_positional_impulse( &self, body1: &mut RigidBodyQueryItem<'_>, body2: &mut RigidBodyQueryItem<'_>, impulse: Vector, r1: Vector, r2: Vector ) -> Vector
source§fn compute_generalized_inverse_mass(
&self,
body: &RigidBodyQueryItem<'_>,
r: Vector,
n: Vector
) -> Scalar
fn compute_generalized_inverse_mass( &self, body: &RigidBodyQueryItem<'_>, r: Vector, n: Vector ) -> Scalar
r
along the vector n
.source§fn get_delta_rot(
rot: Rotation,
inverse_inertia: Matrix3,
r: Vector,
p: Vector
) -> Quaternion
fn get_delta_rot( rot: Rotation, inverse_inertia: Matrix3, r: Vector, p: Vector ) -> Quaternion
p
at point r
.source§impl Reflect for DistanceJointwhere
Self: Any + Send + Sync,
Entity: FromReflect + TypePath + RegisterForReflection,
Vector: FromReflect + TypePath + RegisterForReflection,
Scalar: FromReflect + TypePath + RegisterForReflection,
Option<DistanceLimit>: FromReflect + TypePath + RegisterForReflection,
impl Reflect for DistanceJointwhere
Self: Any + Send + Sync,
Entity: FromReflect + TypePath + RegisterForReflection,
Vector: FromReflect + TypePath + RegisterForReflection,
Scalar: FromReflect + TypePath + RegisterForReflection,
Option<DistanceLimit>: FromReflect + TypePath + RegisterForReflection,
source§fn get_represented_type_info(&self) -> Option<&'static TypeInfo>
fn get_represented_type_info(&self) -> Option<&'static TypeInfo>
source§fn as_any_mut(&mut self) -> &mut dyn Any
fn as_any_mut(&mut self) -> &mut dyn Any
&mut dyn Any
.source§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§fn clone_value(&self) -> Box<dyn Reflect>
fn clone_value(&self) -> Box<dyn Reflect>
Reflect
trait object. Read moresource§fn set(&mut self, value: Box<dyn Reflect>) -> Result<(), Box<dyn Reflect>>
fn set(&mut self, value: Box<dyn Reflect>) -> Result<(), Box<dyn Reflect>>
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 reflect_partial_eq(&self, value: &dyn Reflect) -> Option<bool>
fn reflect_partial_eq(&self, value: &dyn Reflect) -> Option<bool>
source§fn apply(&mut self, value: &(dyn Reflect + 'static))
fn apply(&mut self, value: &(dyn Reflect + 'static))
source§fn reflect_hash(&self) -> Option<u64>
fn reflect_hash(&self) -> Option<u64>
source§fn serializable(&self) -> Option<Serializable<'_>>
fn serializable(&self) -> Option<Serializable<'_>>
source§fn is_dynamic(&self) -> bool
fn is_dynamic(&self) -> bool
source§impl Struct for DistanceJointwhere
Self: Any + Send + Sync,
Entity: FromReflect + TypePath + RegisterForReflection,
Vector: FromReflect + TypePath + RegisterForReflection,
Scalar: FromReflect + TypePath + RegisterForReflection,
Option<DistanceLimit>: FromReflect + TypePath + RegisterForReflection,
impl Struct for DistanceJointwhere
Self: Any + Send + Sync,
Entity: FromReflect + TypePath + RegisterForReflection,
Vector: FromReflect + TypePath + RegisterForReflection,
Scalar: FromReflect + TypePath + RegisterForReflection,
Option<DistanceLimit>: FromReflect + TypePath + RegisterForReflection,
source§fn field(&self, name: &str) -> Option<&dyn Reflect>
fn field(&self, name: &str) -> Option<&dyn Reflect>
name
as a &dyn Reflect
.source§fn field_mut(&mut self, name: &str) -> Option<&mut dyn Reflect>
fn field_mut(&mut self, name: &str) -> Option<&mut dyn Reflect>
name
as a
&mut dyn Reflect
.source§fn field_at(&self, index: usize) -> Option<&dyn Reflect>
fn field_at(&self, index: usize) -> Option<&dyn Reflect>
index
as a
&dyn Reflect
.source§fn field_at_mut(&mut self, index: usize) -> Option<&mut dyn Reflect>
fn field_at_mut(&mut self, index: usize) -> Option<&mut dyn Reflect>
index
as a &mut dyn Reflect
.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§impl TypePath for DistanceJoint
impl TypePath for DistanceJoint
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 DistanceJointwhere
Self: Any + Send + Sync,
Entity: FromReflect + TypePath + RegisterForReflection,
Vector: FromReflect + TypePath + RegisterForReflection,
Scalar: FromReflect + TypePath + RegisterForReflection,
Option<DistanceLimit>: FromReflect + TypePath + RegisterForReflection,
impl Typed for DistanceJointwhere
Self: Any + Send + Sync,
Entity: FromReflect + TypePath + RegisterForReflection,
Vector: FromReflect + TypePath + RegisterForReflection,
Scalar: FromReflect + TypePath + RegisterForReflection,
Option<DistanceLimit>: FromReflect + TypePath + RegisterForReflection,
source§impl XpbdConstraint<2> for DistanceJoint
impl XpbdConstraint<2> for DistanceJoint
source§fn clear_lagrange_multipliers(&mut self)
fn clear_lagrange_multipliers(&mut self)
source§fn solve(&mut self, bodies: [&mut RigidBodyQueryItem<'_>; 2], dt: Scalar)
fn solve(&mut self, bodies: [&mut RigidBodyQueryItem<'_>; 2], dt: Scalar)
source§fn compute_lagrange_update_with_gradients(
&self,
lagrange: Scalar,
c: Scalar,
gradients: &[Vector],
inverse_masses: &[Scalar],
compliance: Scalar,
dt: Scalar
) -> Scalar
fn compute_lagrange_update_with_gradients( &self, lagrange: Scalar, c: Scalar, gradients: &[Vector], inverse_masses: &[Scalar], compliance: Scalar, dt: Scalar ) -> Scalar
source§fn compute_lagrange_update(
&self,
lagrange: Scalar,
c: Scalar,
inverse_masses: &[Scalar],
compliance: Scalar,
dt: Scalar
) -> Scalar
fn compute_lagrange_update( &self, lagrange: Scalar, c: Scalar, inverse_masses: &[Scalar], compliance: Scalar, dt: Scalar ) -> Scalar
impl Copy for DistanceJoint
impl StructuralPartialEq for DistanceJoint
Auto Trait Implementations§
impl Freeze for DistanceJoint
impl RefUnwindSafe for DistanceJoint
impl Send for DistanceJoint
impl Sync for DistanceJoint
impl Unpin for DistanceJoint
impl UnwindSafe for DistanceJoint
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<C> Bundle for Cwhere
C: Component,
impl<C> Bundle for Cwhere
C: Component,
fn component_ids( components: &mut Components, storages: &mut Storages, ids: &mut impl FnMut(ComponentId) )
unsafe fn from_components<T, F>(ctx: &mut T, func: &mut F) -> C
source§fn get_component_ids(
components: &Components,
ids: &mut impl FnMut(Option<ComponentId>)
)
fn get_component_ids( components: &Components, ids: &mut impl FnMut(Option<ComponentId>) )
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<C> DynamicBundle for Cwhere
C: Component,
impl<C> DynamicBundle for Cwhere
C: Component,
fn get_components(self, func: &mut impl FnMut(StorageType, OwningPtr<'_>))
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<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 Reflect + 'static), ReflectPathError<'p>>
fn reflect_path<'p>( &self, path: impl ReflectPath<'p> ) -> Result<&(dyn Reflect + 'static), ReflectPathError<'p>>
path
. Read moresource§fn reflect_path_mut<'p>(
&mut self,
path: impl ReflectPath<'p>
) -> Result<&mut (dyn Reflect + 'static), ReflectPathError<'p>>
fn reflect_path_mut<'p>( &mut self, path: impl ReflectPath<'p> ) -> Result<&mut (dyn Reflect + '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.