Enum VariableSelectionStrategy 

#[non_exhaustive]
pub enum VariableSelectionStrategy {
    MostFractional,
    FirstFractional,
    DeepestCut,
}

Strategy for selecting which fractional variable to lift-and-project on.

The choice of variable can significantly affect the strength of the generated cut and the overall convergence of the cutting plane algorithm.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

MostFractional

Select the variable whose fractional value is closest to 0.5. Produces the most balanced disjunction and typically the strongest cuts.

FirstFractional

Select the first fractional variable encountered (by index). Fast selection with predictable, index-ordered behaviour.

DeepestCut

Select the variable that maximises the violation of the generated cut at x̄. Requires generating candidate cuts for each fractional variable.

Trait Implementations

impl Clone for VariableSelectionStrategy

fn clone(&self) -> VariableSelectionStrategy

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for VariableSelectionStrategy

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for VariableSelectionStrategy

fn default() -> VariableSelectionStrategy

Returns the “default value” for a type.

impl PartialEq for VariableSelectionStrategy

fn eq(&self, other: &VariableSelectionStrategy) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for VariableSelectionStrategy

impl Eq for VariableSelectionStrategy

impl StructuralPartialEq for VariableSelectionStrategy