Struct sequent_repl::commands::reset::Reset

pub struct Reset;

Command to reset the simulation to its initial state. Upon completion, the current state will be a replica of the initial state depicted in the scenario, and the cursor location will be set to 0.

Trait Implementations

impl<S: Clone, C: Context<S>, T: Terminal> Command<C, SimulationError<S>, T> for Reset

fn apply(
    &mut self,
    looper: &mut Looper<'_, C, SimulationError<S>, T>
) -> Result<ApplyOutcome, ApplyCommandError<SimulationError<S>>>

Applies the command for the given Looper. References to the underlying application context and the terminal interface are supplied by the Looper.