Struct TripModel 

#[non_exhaustive]
pub struct TripModel {
    pub workflow: TripWorkflow,
}

The exploration model of the trip workflow.

It offers, in every state, only the commands that make sense there plus one it knows will be refused (an empty name), so every explored state also checks that a refusal changes nothing. All values are fixed constants and identifiers are derived, so the reachable state space is finite and the same on every run.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

workflow: TripWorkflow

The definition transitions are applied through.

Implementations

impl TripModel

pub const fn new() -> Self

Builds the model.

Trait Implementations

impl Clone for TripModel

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TripModel

impl Debug for TripModel

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

Formats the value using the given formatter.

impl Default for TripModel

fn default() -> Self

Returns the “default value” for a type.

impl WorkflowModel<TripWorkflow> for TripModel

fn initial_states(&self) -> Vec<Option<TripState>>

The states exploration starts from. None means “the case does not exist yet”, which is where most workflows begin — and it never means “the case is over”, because a case’s identity outlives its content.

fn candidate_commands(&self, state: Option<&TripState>) -> Vec<TripCommand>

Commands worth trying in this state, in a stable order. Include commands you expect to be refused: the explorer checks that a refusal changes nothing.

fn simulate( &self, state: Option<&TripState>, command: &TripCommand, ) -> SimulatedTransition<TripState, TripEvent>

Applies one candidate command purely.

fn declared_outcomes(&self) -> Vec<TripOutcome>

Outcomes the workflow claims it can reach. The explorer reports every declared outcome no reachable state projects. The default is empty, which disables the check.