Expand description
Transition between two states in a Model
.
Fields
src: State
Source of the transition.
dst: State
Destination of the transition.
Implementations
Trait Implementations
sourceimpl Clone for StateTransition
impl Clone for StateTransition
sourcefn clone(&self) -> StateTransition
fn clone(&self) -> StateTransition
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl Debug for StateTransition
impl Debug for StateTransition
sourceimpl PartialEq<StateTransition> for StateTransition
impl PartialEq<StateTransition> for StateTransition
sourcefn eq(&self, other: &StateTransition) -> bool
fn eq(&self, other: &StateTransition) -> bool
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
sourcefn ne(&self, other: &StateTransition) -> bool
fn ne(&self, other: &StateTransition) -> bool
This method tests for !=
.
impl Copy for StateTransition
impl StructuralPartialEq for StateTransition
Auto Trait Implementations
impl RefUnwindSafe for StateTransition
impl Send for StateTransition
impl Sync for StateTransition
impl Unpin for StateTransition
impl UnwindSafe for StateTransition
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub 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>,
pub fn to_subset(&self) -> Option<SS>
pub fn to_subset(&self) -> Option<SS>
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 fn to_subset_unchecked(&self) -> SS
pub 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.
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more