pub struct HalfEdgeGeometry {
pub path: SurfacePath,
}
Expand description
The geometry of a half-edge
Fields§
§path: SurfacePath
§The path of the half-edge
§Implementation Note
Currently, all curve-related geometry is defined locally, in terms of the surface that the curve is on (or purely in 2D, if there is no surface associated with this geometry). However, curves exist globally, independently of surfaces. Half-edges in multiple surfaces can refer to the same curve, and in fact, that is the whole reason for their existence as a topological object.
This contradiction, globally defined curves but locally defined curve geometry, is the reason that this curve geometry is defined right here, associated with a locally existing half-edge. (And, I might add, redundantly so, as multiple half-edges within the same surface context can refer to the same curve.)
Instead, it should be possible to define curve geometry either locally or globally. Then that respective definition can be associated with the curve (and possibly, in addition, a surface). How exactly that is going to work is up in the air.
The point of all this exposition is to clarify that this field doesn’t really belong here. It exists here for practical reasons that are, hopefully, temporary.
Trait Implementations§
Source§impl Clone for HalfEdgeGeometry
impl Clone for HalfEdgeGeometry
Source§fn clone(&self) -> HalfEdgeGeometry
fn clone(&self) -> HalfEdgeGeometry
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moreimpl Copy for HalfEdgeGeometry
Auto Trait Implementations§
impl Freeze for HalfEdgeGeometry
impl RefUnwindSafe for HalfEdgeGeometry
impl Send for HalfEdgeGeometry
impl Sync for HalfEdgeGeometry
impl Unpin for HalfEdgeGeometry
impl UnwindSafe for HalfEdgeGeometry
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
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> DowncastSync for T
impl<T> DowncastSync for T
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<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.