fn remove_variable(&mut self, variable: usize, solution: RemovedVariable<OF>) {
        debug_assert_eq!(self.counters.variable[variable], 0);

        self.updates.removed_variables.push((variable, solution));
    }
/// Mark a variable as removed.
///
/// Contains a debug check to see whether all variables have been removed. While this makes the
/// order of statements that execute a removing operation tricky, it's a simple check that
/// catches bugs.
Mark a variable as removed.
Contains a debug check to see whether all variables have been removed. While this makes the
order of statements that execute a removing operation tricky, it's a simple check that
catches bugs.
Mark a variable as removed . Contains a debug check to see whether all variables have been removed . While this makes the order of statements that execute a removing operation tricky it ' s a simple check that catches bugs .
fn remove_variable(&mut self, variable: usize, solution: RemovedVariable<OF>) {
        debug_assert_eq!(self.counters.variable[variable], 0);
        self.updates.removed_variables.push((variable, solution));
    }
fn remove_variable ( & mut self , variable : usize , solution : RemovedVariable < OF > ) { debug_assert_eq ! ( self counters variable [ variable ] 0 ) ; self . updates . removed_variables . push ( ( variable , solution ) ) ; }
Mark a variable as removed.
Mark a variable as removed .
&mut self
variable
usize
solution
RemovedVariable<OF>
&mut self
variable
usize
solution
RemovedVariable<OF>