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§

source

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

source

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

source

fn reserve(&mut self, num_new_values: usize)

source

fn update<F>(&mut self, index: usize, op: F)where F: FnOnce(&mut VarValue<Self::Key>),

Implementors§