pub trait UnificationStoreMut: UnificationStoreBase {
    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§

Implementors§