Scippy

SCIP

Solving Constraint Integer Programs

BINARYVARLIST Struct Reference

Detailed Description

list of binary variables currently branched on a down branching (x <= 0) is saved as the negated variable (1-x) an up branching (x >= 1) is saved as the original variable (x) these variables are used to build the binary constraint in case that a ('binary') branch is cut off

Definition at line 1446 of file branch_lookahead.c.

Data Fields

SCIP_VAR ** binaryvars
 
int nbinaryvars
 
int memorysize
 

Field Documentation

◆ binaryvars

SCIP_VAR** BINARYVARLIST::binaryvars

The binary variables currently branched on.

Definition at line 1448 of file branch_lookahead.c.

Referenced by binaryVarListAppend(), and binaryVarListCreate().

◆ nbinaryvars

int BINARYVARLIST::nbinaryvars

The number of entries in 'nbinaryvars'.

Definition at line 1449 of file branch_lookahead.c.

Referenced by binaryVarListAppend(), binaryVarListCreate(), and executeBranchingRecursive().

◆ memorysize

int BINARYVARLIST::memorysize

The number of entries that the array 'binaryvars' may hold before the array is reallocated.

Definition at line 1450 of file branch_lookahead.c.

Referenced by binaryVarListCreate().