Scippy

SCIP

Solving Constraint Integer Programs

BRANCHINGDECISION Struct Reference

Detailed Description

Holds the information needed for branching on a variable.

Definition at line 309 of file branch_lookahead.c.

Data Fields

CANDIDATEcand
 
SCIP_Realdownlowerbounds
 
SCIP_Realdownupperbounds
 
SCIP_Realuplowerbounds
 
SCIP_Realupupperbounds
 
SCIP_Real downdb
 
SCIP_Real updb
 
SCIP_Real proveddb
 
SCIP_Bool downdbvalid
 
SCIP_Bool updbvalid
 
SCIP_Bool boundsvalid
 
int boundssize
 

Field Documentation

◆ cand

CANDIDATE* BRANCHINGDECISION::cand

Candidate to branch on. May be NULL.

Definition at line 311 of file branch_lookahead.c.

Referenced by branchingDecisionCopy(), copyCurrentSolution(), selectVarRecursive(), and selectVarStart().

◆ downlowerbounds

SCIP_Real* BRANCHINGDECISION::downlowerbounds

variable lower bounds for down child

Definition at line 312 of file branch_lookahead.c.

Referenced by branchingDecisionIsValid(), and selectVarRecursive().

◆ downupperbounds

SCIP_Real* BRANCHINGDECISION::downupperbounds

variable upper bounds for down child

Definition at line 313 of file branch_lookahead.c.

Referenced by branchingDecisionIsValid(), and selectVarRecursive().

◆ uplowerbounds

SCIP_Real* BRANCHINGDECISION::uplowerbounds

variable lower bounds for up child

Definition at line 314 of file branch_lookahead.c.

Referenced by branchingDecisionIsValid(), and selectVarRecursive().

◆ upupperbounds

SCIP_Real* BRANCHINGDECISION::upupperbounds

variable upper bounds for up child

Definition at line 315 of file branch_lookahead.c.

Referenced by selectVarRecursive().

◆ downdb

SCIP_Real BRANCHINGDECISION::downdb

dual bound for down branch

Definition at line 316 of file branch_lookahead.c.

Referenced by selectVarRecursive(), and selectVarStart().

◆ updb

SCIP_Real BRANCHINGDECISION::updb

dual bound for the up branch

Definition at line 317 of file branch_lookahead.c.

Referenced by selectVarRecursive(), and selectVarStart().

◆ proveddb

SCIP_Real BRANCHINGDECISION::proveddb

proven dual bound for the current node

Definition at line 318 of file branch_lookahead.c.

Referenced by executeBranchingRecursive(), selectVarRecursive(), and selectVarStart().

◆ downdbvalid

SCIP_Bool BRANCHINGDECISION::downdbvalid

Indicator for the validity of the downdb value. Is FALSE, if no actual branching occurred or the value was determined by an LP not solved to optimality.

Definition at line 319 of file branch_lookahead.c.

Referenced by selectVarRecursive(), and selectVarStart().

◆ updbvalid

SCIP_Bool BRANCHINGDECISION::updbvalid

Indicator for the validity of the updb value. Is FALSE, if no actual branching occurred or the value was determined by an LP not solved to optimality.

Definition at line 322 of file branch_lookahead.c.

Referenced by selectVarRecursive(), and selectVarStart().

◆ boundsvalid

SCIP_Bool BRANCHINGDECISION::boundsvalid

are variable bounds for down and up child valid?

Definition at line 325 of file branch_lookahead.c.

Referenced by selectVarRecursive().

◆ boundssize

int BRANCHINGDECISION::boundssize

size of bounds arrays

Definition at line 326 of file branch_lookahead.c.

Referenced by branchingDecisionIsValid().