Struct Stepper 

pub struct Stepper<S> { /* private fields */ }

Implementations

impl<S> Stepper<S>

where S: Iterator<Item = Command<Proof>>,

pub fn new(is_definition: bool, state: State, stream: S) -> Stepper<S>

pub fn take_stream(self) -> S

pub fn run<SS: Store, T: Table<Var = SS::Var>>( &mut self, context: &mut Context<SS>, table: &T, ) -> KResult<()>

pub fn step<SS: Store, T: Table<Var = SS::Var>>( &mut self, context: &mut Context<SS>, table: &T, ) -> KResult<Option<Action>>

Trait Implementations

impl<S: Debug> Debug for Stepper<S>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.