Enum pn_editor_core::ArrowKind [−][src]
pub enum ArrowKind {
PlaceToTransition,
TransitionToPlace,
PlaceToPoint,
PointToPlace,
TransitionToPoint,
PointToTransition,
}Expand description
Represents from which type of element to which type of element an arrow should be drawn.
Variants
An arrow from a place to a transition.
An arrow from a place to a placeplace.
An arrow from a place to a point.
An arrow from a point to a place.
An arrow from a transition to a point.
An arrow from a point to a transition.
Auto Trait Implementations
impl RefUnwindSafe for ArrowKind
impl UnwindSafe for ArrowKind
Blanket Implementations
Mutably borrows from an owned value. Read more
The inverse inclusion map: attempts to construct self from the equivalent element of its
superset. Read more
pub fn is_in_subset(&self) -> bool
pub fn is_in_subset(&self) -> bool
Checks if self is actually part of its subset T (and can be converted to it).
pub unsafe fn to_subset_unchecked(&self) -> SS
pub unsafe fn to_subset_unchecked(&self) -> SS
Use with care! Same as self.to_subset but without any property checks. Always succeeds.
pub fn from_subset(element: &SS) -> SP
pub fn from_subset(element: &SS) -> SP
The inclusion map: converts self to the equivalent element of its superset.