Struct ena::undo_log::NoUndo

pub struct NoUndo;

Trait Implementations

impl<T> UndoLogs<T> for NoUndo

fn num_open_snapshots(&self) -> usize

How many open snapshots this undo log currently has

fn push(&mut self, _undo: T)

Pushes a new “undo item” onto the undo log. This method is invoked when some action is taken (e.g., a variable is unified). It records the info needed to reverse that action should an enclosing snapshot be rolled back.

fn clear(&mut self)

Removes all items from the undo log.

fn in_snapshot(&self) -> bool

True if a snapshot has started, false otherwise

fn extend<I>(&mut self, undos: I)

where Self: Sized, I: IntoIterator<Item = T>,

Extends the undo log with many undos.