Enum pn_editor_core::ViewMode [−][src]
pub enum ViewMode {
Default,
State,
Actions,
}Expand description
The view mode indicates how the petri net is displayed.
Variants
In default mode, everything is displayed.
In state mode, only places are displayed. Working in state mode is like working with a state machine.
In action mode, only transitions are displayed. Working in action mode is like working with a dependency graph.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for ViewMode
impl UnwindSafe for ViewMode
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.