Trait sequent_repl::Context

pub trait Context<S> {
    fn sim(&mut self) -> &mut Simulation<S>;
    fn print_state(
        &self,
        terminal: &mut impl Terminal
    ) -> Result<(), AccessTerminalError>;
    fn decoder(&self) -> &Decoder<S>;
}

Specification of a minimal application context for simulations.

Required Methods

fn sim(&mut self) -> &mut Simulation<S>

A mutable reference to the simulation.

fn print_state(
    &self,
    terminal: &mut impl Terminal
) -> Result<(), AccessTerminalError>

Prints the current state to the given terminal interface.

Errors

AccessTerminalError if an error occurs while writing to the terminal.

fn decoder(&self) -> &Decoder<S>

A reference to a decoder for parsing events.

Implementors