Trait stateright::CheckerVisitor
source · pub trait CheckerVisitor<M: Model> {
// Required method
fn visit(&self, model: &M, path: Path<M::State, M::Action>);
}
Expand description
A visitor to apply to every Path
of the checked Model
.
Implementations include PathRecorder
, 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();