Enum BranchingStrategy 

#[non_exhaustive]
pub enum BranchingStrategy<F = f64> {
    MostFractional,
    StrongBranching,
    Cdcl(CdclBranchingState<F>),
}

Enumeration of branching strategies for use with MilpBranchAndBound.

This enum is intended to be incorporated into the MilpBranchAndBound solver to switch between branching heuristics at runtime.

Integration with MilpBranchAndBound

match strategy {
    BranchingStrategy::MostFractional => { /* existing code */ }
    BranchingStrategy::StrongBranching => { /* existing code */ }
    BranchingStrategy::Cdcl(ref mut state) => {
        let var = state.select_branching_var(lp_sol)?;
        // ... branch on `var`, then:
        if node_infeasible {
            state.record_conflict(&decisions_on_path);
        }
        if state.apply_clauses(&current_decisions) {
            prune_node();
        }
    }
}

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

Most-fractional variable selection (standard heuristic).

StrongBranching

Strong branching: evaluate both child LP relaxations before committing.

Cdcl(CdclBranchingState<F>)

CDCL-style branching with clause learning and VSIDS activity.

Trait Implementations

impl<F: Debug> Debug for BranchingStrategy<F>

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

Formats the value using the given formatter.