pub fn simulate<W: PureWorkflow>(
definition: &W,
state: Option<&W::State>,
command: &W::Command,
) -> SimulatedTransition<W::State, W::Event>Expand description
Turns PureWorkflow::apply into a SimulatedTransition, so a model
only has to describe its initial states and candidate commands.