fn is_variable_presolved(&self, variable: usize) -> bool {
        debug_assert!(variable < self.variables.len());

        match self.original_variables[variable].1 {
            OriginalVariable::Active(_) => false,
            OriginalVariable::ActiveFree(_, _) => false,
            OriginalVariable::Removed(RemovedVariable::Solved(_)) => true,
            OriginalVariable::Removed(RemovedVariable::FunctionOfOthers { .. }) => true,
        }
    }
/// Get the known solution value for a variable, if there is one.
///
/// # Arguments
///
/// * `variable`: Index of the variable to get the solution for with respect to the *original,
/// non-presolved* problem.
///
/// # Return value
///
/// `None` if the variable is still in the problem, `Some` if not. In the latter case, if the
/// solution is a specific value known at this point in time, it contains another `Some` with
/// value and `None` otherwise.
///
/// ## Note
///
/// This is only an actual solution for the variable if the problem turns out to be feasible.
Get the known solution value for a variable, if there is one.
Get the known solution value for a variable if there is one .
fn is_variable_presolved(&self, variable: usize) -> bool {
        debug_assert!(variable < self.variables.len());
        match self.original_variables[variable].1 {
            OriginalVariable::Active(_) => false,
            OriginalVariable::ActiveFree(_, _) => false,
            OriginalVariable::Removed(RemovedVariable::Solved(_)) => true,
            OriginalVariable::Removed(RemovedVariable::FunctionOfOthers { .. }) => true,
        }
    }
fn is_variable_presolved ( & self , variable : usize ) -> bool { debug_assert ! ( variable self variables len ( ) ) ; match self . original_variables [ variable ] . 1 { OriginalVariable :: Active ( _ ) => false , OriginalVariable :: ActiveFree ( _ , _ ) => false , OriginalVariable :: Removed ( RemovedVariable :: Solved ( _ ) ) => true , OriginalVariable :: Removed ( RemovedVariable :: FunctionOfOthers { .. } ) => true , } }
Get the known solution value for a variable, if there is one.
Get the known solution value for a variable if there is one .
&self
variable
usize
&self
variable
usize
return value
`None` if the variable is still in the problem, `Some` if not. In the latter case, if the
solution is a specific value known at this point in time, it contains another `Some` with
value and `None` otherwise.
` None ` if the variable is still in the problem ` Some ` if not . In the latter case if the solution is a specific value known at this point in time it contains another ` Some ` with value and ` None ` otherwise .
note
This is only an actual solution for the variable if the problem turns out to be feasible.
This is only an actual solution for the variable if the problem turns out to be feasible .