Trait Executor 

pub trait Executor<Q, A>
where
    Q: RawState,
{
    type Driver: Driver<Q, A>;

    // Required methods
    fn load(&mut self, program: Program<Q, A>);
    fn run(&mut self) -> Result<(), Error>;
}

The Executor trait defines the basis for compatible engines within the system.

Required Associated Types

type Driver: Driver<Q, A>

Required Methods

fn load(&mut self, program: Program<Q, A>)

fn run(&mut self) -> Result<(), Error>

Implementors

impl<D, Q, A> Executor<Q, A> for EngineBase<D, Q, A>

where D: Driver<Q, A>, Q: Halting + RawState, EngineBase<D, Q, A>: TryStep<Output = Head<Q, A>, Error = Error>,

type Driver = D