Scippy

SCIP

Solving Constraint Integer Programs

GenVBound Struct Reference

Detailed Description

GenVBound data

Definition at line 68 of file prop_genvbounds.c.

Data Fields

SCIP_VAR ** vars
 
SCIP_VARvar
 
SCIP_Realcoefs
 
SCIP_Real constant
 
SCIP_Real cutoffcoef
 
int index
 
int ncoefs
 
SCIP_BOUNDTYPE boundtype
 

Field Documentation

SCIP_VAR** GenVBound::vars

pointers to variables x_j occuring in this generalized variable bound

Definition at line 70 of file prop_genvbounds.c.

Referenced by createConstraints(), freeGenVBound(), getGenVBound(), getGenVBoundsBound(), getGenVBoundsMinActivity(), resolveGenVBoundPropagation(), SCIPgenVBoundAdd(), setUpEvents(), and sortGenVBounds().

SCIP_Real* GenVBound::coefs
SCIP_Real GenVBound::constant

constant term in generalized variable bound

Definition at line 74 of file prop_genvbounds.c.

Referenced by createConstraints(), getGenVBound(), getGenVBoundsBound(), resolveGenVBoundPropagation(), and SCIPgenVBoundAdd().

SCIP_Real GenVBound::cutoffcoef

cutoff bound's coefficient

Definition at line 75 of file prop_genvbounds.c.

Referenced by createConstraints(), getGenVBound(), getGenVBoundsBound(), resolveGenVBoundPropagation(), and SCIPgenVBoundAdd().

int GenVBound::index

index of this genvbound in genvboundstore array

Definition at line 76 of file prop_genvbounds.c.

Referenced by applyGenVBound(), createConstraints(), and sortGenVBounds().

int GenVBound::ncoefs
SCIP_BOUNDTYPE GenVBound::boundtype

type of bound provided by the genvbound, SCIP_BOUNDTYPE_LOWER/UPPER if +/- x_i on left-hand side

Definition at line 78 of file prop_genvbounds.c.

Referenced by analyzeGenVBoundConflict(), applyGenVBound(), createConstraints(), getGenVBound(), getGenVBoundsBound(), resolveGenVBoundPropagation(), and SCIPgenVBoundAdd().