Scippy

SCIP

Solving Constraint Integer Programs

BRANCHINGDECISION Struct Reference

Detailed Description

Holds the information needed for branching on a variable.

Definition at line 442 of file branch_lookahead.c.

Data Fields

SCIP_VARbranchvar
 
SCIP_Real branchval
 
SCIP_Realdownlowerbounds
 
SCIP_Realdownupperbounds
 
SCIP_Realuplowerbounds
 
SCIP_Realupupperbounds
 
SCIP_Real downdb
 
SCIP_Real updb
 
SCIP_Real proveddb
 
SCIP_Real score
 
SCIP_Bool downdbvalid
 
SCIP_Bool updbvalid
 
SCIP_Bool boundsvalid
 
int boundssize
 

Field Documentation

◆ branchvar

SCIP_VAR* BRANCHINGDECISION::branchvar

the variable to branch on, may be NULL

Definition at line 444 of file branch_lookahead.c.

Referenced by branchingDecisionCreate(), and selectVarRecursive().

◆ branchval

SCIP_Real BRANCHINGDECISION::branchval

the fractional value to branch on

Definition at line 445 of file branch_lookahead.c.

Referenced by branchingDecisionCreate(), and selectVarRecursive().

◆ downlowerbounds

SCIP_Real* BRANCHINGDECISION::downlowerbounds

variable lower bounds for down child

Definition at line 446 of file branch_lookahead.c.

Referenced by branchingDecisionIsValid(), and selectVarRecursive().

◆ downupperbounds

SCIP_Real* BRANCHINGDECISION::downupperbounds

variable upper bounds for down child

Definition at line 447 of file branch_lookahead.c.

Referenced by branchingDecisionIsValid(), and selectVarRecursive().

◆ uplowerbounds

SCIP_Real* BRANCHINGDECISION::uplowerbounds

variable lower bounds for up child

Definition at line 448 of file branch_lookahead.c.

Referenced by branchingDecisionIsValid(), and selectVarRecursive().

◆ upupperbounds

SCIP_Real* BRANCHINGDECISION::upupperbounds

variable upper bounds for up child

Definition at line 449 of file branch_lookahead.c.

Referenced by branchingDecisionIsValid(), and selectVarRecursive().

◆ downdb

SCIP_Real BRANCHINGDECISION::downdb

dual bound for down branch

Definition at line 450 of file branch_lookahead.c.

Referenced by branchingDecisionCreate(), and selectVarRecursive().

◆ updb

SCIP_Real BRANCHINGDECISION::updb

dual bound for the up branch

Definition at line 451 of file branch_lookahead.c.

Referenced by branchingDecisionCreate(), and selectVarRecursive().

◆ proveddb

SCIP_Real BRANCHINGDECISION::proveddb

proven dual bound for the current node

Definition at line 452 of file branch_lookahead.c.

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

◆ score

SCIP_Real BRANCHINGDECISION::score

score of the branching decision

Definition at line 453 of file branch_lookahead.c.

Referenced by executeBranchingRecursive(), and selectVarRecursive().

◆ 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 454 of file branch_lookahead.c.

Referenced by branchingDecisionCreate(), and selectVarRecursive().

◆ 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 457 of file branch_lookahead.c.

Referenced by branchingDecisionCreate(), and selectVarRecursive().

◆ boundsvalid

SCIP_Bool BRANCHINGDECISION::boundsvalid

are variable bounds for down and up child valid?

Definition at line 460 of file branch_lookahead.c.

Referenced by selectVarRecursive().

◆ boundssize

int BRANCHINGDECISION::boundssize

size of bounds arrays

Definition at line 461 of file branch_lookahead.c.

Referenced by branchingDecisionIsValid().