Enum pn_editor_core::ViewMode
source · [−]pub enum ViewMode {
Default,
State,
Actions,
}
Expand description
The view mode indicates how the petri net is displayed.
Variants
Default
In default mode, everything is displayed.
State
In state mode, only places are displayed. Working in state mode is like working with a state machine.
Actions
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 Send for ViewMode
impl Sync for ViewMode
impl Unpin for ViewMode
impl UnwindSafe for ViewMode
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<SS, SP> SupersetOf<SS> for SP where
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SP where
SS: SubsetOf<SP>,
fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct self
from the equivalent element of its
superset. Read more
fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if self
is actually part of its subset T
(and can be converted to it).
unsafe fn to_subset_unchecked(&self) -> SS
unsafe fn to_subset_unchecked(&self) -> SS
Use with care! Same as self.to_subset
but without any property checks. Always succeeds.
fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts self
to the equivalent element of its superset.