Trait UnificationStoreMut

pub trait UnificationStoreMut: UnificationStoreBase {
    // Required methods
    fn reset_unifications(
        &mut self,
        value: impl FnMut(u32) -> VarValue<Self::Key>,
    );
    fn push(&mut self, value: VarValue<Self::Key>);
    fn reserve(&mut self, num_new_values: usize);
    fn update<F>(&mut self, index: usize, op: F)
       where F: FnOnce(&mut VarValue<Self::Key>);
}

Required Methods

fn reset_unifications(&mut self, value: impl FnMut(u32) -> VarValue<Self::Key>)

fn push(&mut self, value: VarValue<Self::Key>)

fn reserve(&mut self, num_new_values: usize)

fn update<F>(&mut self, index: usize, op: F)

where F: FnOnce(&mut VarValue<Self::Key>),

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<K, V, L> UnificationStoreMut for InPlace<K, V, L>

where K: UnifyKey, V: VecLike<Delegate<K>>, L: UndoLogs<UndoLog<Delegate<K>>>,