Struct stateright::checker::Path

pub struct Path<State, Action>(pub Vec<(State, Option<Action>)>);

A path of states including actions. i.e. state --action--> state ... --action--> state. You can convert to a Vec<_> with path.into_vec(). If you only need the actions, then use path.into_actions().

Implementations

impl<State, Action> Path<State, Action>

pub fn last_state(&self) -> &State

Extracts the last state.

pub fn into_actions(self) -> Vec<Action>

Extracts the actions.

pub fn into_vec(self) -> Vec<(State, Option<Action>)>

Convenience method for Into<Vec<_>>.

pub fn name(&self) -> PathName where
    State: Hash, 

Trait Implementations

impl<State: Clone, Action: Clone> Clone for Path<State, Action>

fn clone(&self) -> Path<State, Action>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<State: Debug, Action: Debug> Debug for Path<State, Action>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<State, Action> Into<Vec<(State, Option<Action>)>> for Path<State, Action>

fn into(self) -> Vec<(State, Option<Action>)>

Performs the conversion.

impl<State: PartialEq, Action: PartialEq> PartialEq<Path<State, Action>> for Path<State, Action>

fn eq(&self, other: &Path<State, Action>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Path<State, Action>) -> bool

This method tests for !=.

impl<State, Action> StructuralPartialEq for Path<State, Action>