Struct Transition 

pub struct Transition<S, E> { /* private fields */ }

A directed transition in a finite state machine.

S is the state type and E is the event type. In normal use both are small enum-like values that implement Copy, Eq, and Hash.

Implementations

impl<S, E> Transition<S, E>

where S: Copy, E: Copy,

pub const fn new(source: S, event: E, target: S) -> Self

Creates a transition from source to target triggered by event.

Parameters

• source: State before the event is applied.
• event: Event that triggers this transition.
• target: State after the transition succeeds.

Returns

A new immutable transition value.

pub const fn source(&self) -> S

Returns the source state of this transition.

Returns

The state that must be current before this transition can be applied.

pub const fn event(&self) -> E

Returns the event that triggers this transition.

Returns

The event associated with this transition.

pub const fn target(&self) -> S

Returns the target state of this transition.

Returns

The state after this transition succeeds.

Trait Implementations

impl<S: Clone, E: Clone> Clone for Transition<S, E>

fn clone(&self) -> Transition<S, E>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Debug, E: Debug> Debug for Transition<S, E>

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

Formats the value using the given formatter.

impl<S: Hash, E: Hash> Hash for Transition<S, E>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<S: PartialEq, E: PartialEq> PartialEq for Transition<S, E>

fn eq(&self, other: &Transition<S, E>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<S: Copy, E: Copy> Copy for Transition<S, E>

impl<S: Eq, E: Eq> Eq for Transition<S, E>

impl<S, E> StructuralPartialEq for Transition<S, E>