pub(super) fn is_variable_fixed(&self, variable: usize) -> Option<&OF> {
        // There is no reason to want to know the latest value for a variable already removed.
        debug_assert!(!self.removed_variables.iter().any(|&(j, _)| j == variable));

        let lower = self.variable_bound(variable, BoundDirection::Lower);
        let upper = self.variable_bound(variable, BoundDirection::Upper);
        match (lower, upper) {
            (Some(lower), Some(upper)) if lower == upper => Some(lower),
            _ => None,
        }
    }
/// Whether the latest version of a variable has exactly one feasible value.
Whether the latest version of a variable has exactly one feasible value.
Whether the latest version of a variable has exactly one feasible value .
pub(super) fn is_variable_fixed(&self, variable: usize) -> Option<&OF> {
        // There is no reason to want to know the latest value for a variable already removed.
        debug_assert!(!self.removed_variables.iter().any(|&(j, _)| j == variable));
        let lower = self.variable_bound(variable, BoundDirection::Lower);
        let upper = self.variable_bound(variable, BoundDirection::Upper);
        match (lower, upper) {
            (Some(lower), Some(upper)) if lower == upper => Some(lower),
            _ => None,
        }
    }
pub ( super ) fn is_variable_fixed ( & self , variable : usize ) -> Option < & OF > { // There is no reason to want to know the latest value for a variable already removed. debug_assert ! ( self removed_variables iter ( ) any ( ( j ) j variable ) ) ; let lower = self . variable_bound ( variable , BoundDirection :: Lower ) ; let upper = self . variable_bound ( variable , BoundDirection :: Upper ) ; match ( lower , upper ) { ( Some ( lower ) , Some ( upper ) ) if lower == upper => Some ( lower ) , _ => None , } }
Whether the latest version of a variable has exactly one feasible value.
Whether the latest version of a variable has exactly one feasible value .
&self
variable
usize
&self
variable
usize