pub struct ProcedurePath {
pub states: Vec<String>,
pub transition_count: usize,
pub commands: Vec<String>,
}Expand description
The minimum-transition path through a single procedure’s FSM.
Fields§
§states: Vec<String>Ordered sequence of states visited, from initial_state to terminal.
transition_count: usizeNumber of transitions taken (= states.len() - 1).
commands: Vec<String>Commands used along the path (one per transition; empty string when the transition has no associated command).
Trait Implementations§
Source§impl Clone for ProcedurePath
impl Clone for ProcedurePath
Source§fn clone(&self) -> ProcedurePath
fn clone(&self) -> ProcedurePath
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for ProcedurePath
impl Debug for ProcedurePath
Auto Trait Implementations§
impl Freeze for ProcedurePath
impl RefUnwindSafe for ProcedurePath
impl Send for ProcedurePath
impl Sync for ProcedurePath
impl Unpin for ProcedurePath
impl UnsafeUnpin for ProcedurePath
impl UnwindSafe for ProcedurePath
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
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§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>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§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).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.