Struct Branch

pub struct Branch<BranchFilter, DualStore>
where
    BranchFilter: IBranchFilter,
    DualStore: UserDualStore,
{
    pub id: u32,
    pub parent: u32,
    pub depth: u32,
    pub old_obj_bound: f64,
    pub old_obj_heuristic: bool,
    pub old_obj_dual_center: Option<(f64, DualStore)>,
    pub filters: Vec<BranchFilter>,
    pub allow_heuristic_pricing: bool,
    pub special: Option<SpecialType<BranchFilter>>,
}

Primary struct for branch in branching tree Holds all information about its state

Fields

id: u32

parent: u32

depth: u32

old_obj_bound: f64

old_obj_heuristic: bool

old_obj_dual_center: Option<(f64, DualStore)>

filters: Vec<BranchFilter>

allow_heuristic_pricing: bool

special: Option<SpecialType<BranchFilter>>

Implementations

impl<BranchFilter, DualStore> Branch<BranchFilter, DualStore>

where BranchFilter: IBranchFilter, DualStore: UserDualStore,

pub fn default() -> Self

Returns the initial root node, initialized with default values

pub fn create_lds_root() -> Self

Returns a root node for limited discrepancy search

pub fn create_integer(&self, local: bool) -> Self

transforms the current node into a copy that will be solved as integer linear program. Can be used to get better primal bounds

local setting influences whether existing branches should apply or (local=false) all branching constraints are removed

pub fn upgrade_to_non_heuristic_pricing(&self) -> Self

Takes a heuristic pricing branching node and returns a normal branching node

pub fn create_lds_zero_child( &self, parent_obj: f64, filters_of_one_child: &[BranchFilter], parent_partial: bool, parent_dual_center: Option<(f64, DualStore)>, ) -> Self

Given a current lds branching node, create the zero branch that expands the taboo list

pub fn create_lds_one_child( &self, parent_obj: f64, filter: Vec<BranchFilter>, parent_partial: bool, parent_dual_center: Option<(f64, DualStore)>, ) -> Self

Given a current lds branching node, create the branch forcing a column

pub fn create_child( &self, parent_obj: f64, filter: Vec<BranchFilter>, parent_partial: bool, parent_dual_center: Option<(f64, DualStore)>, ) -> Self

Given a branching node, create a child node with additional branching filter applied

Trait Implementations

impl<BranchFilter, DualStore> Clone for Branch<BranchFilter, DualStore>

where BranchFilter: IBranchFilter + Clone, DualStore: UserDualStore + Clone,

fn clone(&self) -> Branch<BranchFilter, DualStore>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<BranchingFilter: IBranchFilter, DualStorage: UserDualStore> Compare<Branch<BranchingFilter, DualStorage>> for BranchComparator<BranchingFilter, DualStorage>

fn compare( &self, l: &Branch<BranchingFilter, DualStorage>, r: &Branch<BranchingFilter, DualStorage>, ) -> Ordering

Compares two values, returning Less, Equal, or Greater if l is less than, equal to, or greater than r, respectively.

fn compares_lt(&self, l: &L, r: &R) -> bool

Checks if l is less than r.

fn compares_le(&self, l: &L, r: &R) -> bool

Checks if l is less than or equal to r.

fn compares_ge(&self, l: &L, r: &R) -> bool

Checks if l is greater than or equal to r.

fn compares_gt(&self, l: &L, r: &R) -> bool

Checks if l is greater than r.

fn compares_eq(&self, l: &L, r: &R) -> bool

Checks if l is equal to r.

fn compares_ne(&self, l: &L, r: &R) -> bool

Checks if l is not equal to r.

fn borrowing(self) -> Borrowing<Self, L, R>

where Self: Sized,

Borrows the comparator’s parameters before comparing them.

fn rev(self) -> Rev<Self>

where Self: Sized,

Reverses the ordering of the comparator.

fn swap(self) -> Swap<Self>

where Self: Sized,

Swaps the comparator’s parameters, maintaining the underlying ordering.

fn then<D>(self, then: D) -> Then<Self, D>

where D: Compare<L, R>, Self: Sized,

Lexicographically combines the comparator with another.

impl<BranchFilter, DualStore> Debug for Branch<BranchFilter, DualStore>

where BranchFilter: IBranchFilter + Debug, DualStore: UserDualStore + Debug,

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

Formats the value using the given formatter.