Trait cop::rewind::Rewind[−][src]

pub trait Rewind<T> {
    fn rewind(&mut self, state: T);
}

Restore the state of mutable data structures.

In the presence of backtracking, mutable data structures (such as the substitution) often need to be reset to an earlier state. Such data structures should implement Rewind<T> if T is a cheap and small characterisation of their state.

Required methods

`fn rewind(&mut self, state: T)`[src]

Loading content...

Implementors

`impl<T> Rewind<&'_ Ptr> for Subst<T>`[src]

`fn rewind(&mut self, state: &Ptr)`[src]