Trait stateright::CheckerVisitor

pub trait CheckerVisitor<M: Model> {
    fn visit(&self, model: &M, path: Path<M::State, M::Action>);
}

A visitor to apply to every Path of the checked Model.

Implementations include StateRecorder and impl<M: Model> Fn(Path<M::State, M::Action>).

Example

model.checker()
    .visitor(|p: Path<_, _>| println!("\t{:?}", p.last_state()))
    .spawn_dfs().join();

Required methods

fn visit(&self, model: &M, path: Path<M::State, M::Action>)

The method to apply to every Path.

Loading content...

Implementations on Foreign Types

impl<M: Model> CheckerVisitor<M> for Arc<RwLock<Snapshot<M::Action>>>

fn visit(&self, _: &M, path: Path<M::State, M::Action>)

Loading content...

Implementors

impl<M> CheckerVisitor<M> for StateRecorder<M> where
    M: Model,
    M::State: Clone, 

fn visit(&self, _: &M, path: Path<M::State, M::Action>)

impl<M, F> CheckerVisitor<M> for F where
    M: Model,
    F: Fn(Path<M::State, M::Action>), 

fn visit(&self, _: &M, path: Path<M::State, M::Action>)

Loading content...