Trait Executor 

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

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

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<()>

Implementors

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

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

type Driver = D