Scippy

SCIP

Solving Constraint Integer Programs

Bound Struct Reference

Detailed Description

bound data

Definition at line 116 of file prop_obbt.c.

Data Fields

SCIP_VARvar
 
SCIP_Real newval
 
SCIP_BOUNDTYPE boundtype
 
unsigned int score
 
unsigned int filtered:1
 
unsigned int found:1
 
unsigned int done:1
 
unsigned int nonconvex:1
 
int index
 

Field Documentation

SCIP_VAR* Bound::var

variable

Definition at line 118 of file prop_obbt.c.

Referenced by filterExistingLP(), and sortBounds().

SCIP_Real Bound::newval

stores a probably tighter value for this bound

Definition at line 119 of file prop_obbt.c.

SCIP_BOUNDTYPE Bound::boundtype

type of bound

Definition at line 120 of file prop_obbt.c.

Referenced by filterExistingLP(), getIterationsLeft(), and sortBounds().

unsigned int Bound::score

score value that is used to group bounds

Definition at line 121 of file prop_obbt.c.

unsigned int Bound::filtered

thrown out during pre-filtering step

Definition at line 122 of file prop_obbt.c.

Referenced by filterExistingLP().

unsigned int Bound::found

stores whether a probably tighter value for this bound was found

Definition at line 123 of file prop_obbt.c.

Referenced by filterExistingLP().

unsigned int Bound::done

has this bound been processed already?

Definition at line 124 of file prop_obbt.c.

Referenced by filterExistingLP().

unsigned int Bound::nonconvex

is this bound affecting a nonconvex term?

Definition at line 125 of file prop_obbt.c.

int Bound::index

unique index

Definition at line 126 of file prop_obbt.c.