Struct stateright::PathRecorder [−][src]
pub struct PathRecorder<M: Model>(_);
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,
[src]
impl<M> PathRecorder<M> where
M: Model,
M::Action: Clone,
M::State: Clone,
[src]pub fn new_with_accessor(
) -> (Self, impl Fn() -> HashSet<Path<M::State, M::Action>>)
[src]
pub fn new_with_accessor(
) -> (Self, impl Fn() -> HashSet<Path<M::State, M::Action>>)
[src]Instantiates a (PathRecorder
, accessor) pair.
Trait Implementations
Auto Trait Implementations
impl<M> RefUnwindSafe for PathRecorder<M>
impl<M> Send for PathRecorder<M> where
<M as Model>::Action: Send,
<M as Model>::State: Send,
<M as Model>::Action: Send,
<M as Model>::State: Send,
impl<M> Sync for PathRecorder<M> where
<M as Model>::Action: Send,
<M as Model>::State: Send,
<M as Model>::Action: Send,
<M as Model>::State: Send,
impl<M> Unpin for PathRecorder<M>
impl<M> UnwindSafe for PathRecorder<M>
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,