Struct PathRecorder 

pub struct PathRecorder<M: Model>(/* private fields */);

A CheckerVisitor that records paths visited by the model checker.

Example

let (recorder, accessor) = PathRecorder::new_with_accessor();
model.checker().visitor(recorder).spawn_dfs().join();
assert_eq!(accessor(), expected_paths);

Implementations

impl<M> PathRecorder<M>

where M: Model, M::Action: Clone, M::State: Clone,

pub fn new_with_accessor() -> (Self, impl Fn() -> HashSet<Path<M::State, M::Action>>)

Instantiates a (PathRecorder, accessor) pair.

Trait Implementations

impl<M> CheckerVisitor<M> for PathRecorder<M>

where M: Model, M::Action: Eq + Hash, M::State: Eq + Hash,

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

The method to apply to every Path.