Scippy

SCIP

Solving Constraint Integer Programs

DOMAINREDUCTIONS Struct Reference

Detailed Description

all domain reductions found through cutoff of branches

Definition at line 1396 of file branch_lookahead.c.

Data Fields

SCIP_Reallowerbounds
 
SCIP_Realupperbounds
 
SCIP_Boolbaselpviolated
 
int nviolatedvars
 
int nchangedvars
 

Field Documentation

◆ lowerbounds

SCIP_Real* DOMAINREDUCTIONS::lowerbounds

The new lower bounds found for each variable in the problem.

Definition at line 1398 of file branch_lookahead.c.

Referenced by selectVarRecursive().

◆ upperbounds

SCIP_Real* DOMAINREDUCTIONS::upperbounds

The new upper bounds found for each variable in the problem.

Definition at line 1399 of file branch_lookahead.c.

Referenced by selectVarRecursive().

◆ baselpviolated

SCIP_Bool* DOMAINREDUCTIONS::baselpviolated

Indicates whether the base lp solution violates the new bounds of a var.

Definition at line 1400 of file branch_lookahead.c.

◆ nviolatedvars

int DOMAINREDUCTIONS::nviolatedvars

Tracks the number of vars that have a violated (by the base lp) new lower or upper bound.

Definition at line 1401 of file branch_lookahead.c.

Referenced by selectVarRecursive().

◆ nchangedvars

int DOMAINREDUCTIONS::nchangedvars

Tracks the number of vars, that have a changed domain. (a change on both, upper and lower bound, counts as one.)

Definition at line 1403 of file branch_lookahead.c.

Referenced by selectVarRecursive().