Scippy

SCIP

Solving Constraint Integer Programs

GenVBound Struct Reference

Detailed Description

GenVBound data

Definition at line 62 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 64 of file prop_genvbounds.c.

Referenced by freeGenVBound(), getGenVBoundsBound(), resolveGenVBoundPropagation(), SCIP_DECL_PROPEXITPRE(), SCIPgenVBoundAdd(), setUpEvents(), and sortGenVBounds().

SCIP_Real* GenVBound::coefs

coefficients a_j of the variables listed in vars

Definition at line 67 of file prop_genvbounds.c.

Referenced by freeGenVBound(), getGenVBoundsBound(), resolveGenVBoundPropagation(), SCIP_DECL_PROPEXITPRE(), SCIPgenVBoundAdd(), setUpEvents(), and sortGenVBounds().

SCIP_Real GenVBound::constant

constant term in generalized variable bound

Definition at line 68 of file prop_genvbounds.c.

Referenced by getGenVBoundsBound(), resolveGenVBoundPropagation(), SCIP_DECL_PROPEXITPRE(), and SCIPgenVBoundAdd().

SCIP_Real GenVBound::cutoffcoef

cutoff bound's coefficient

Definition at line 69 of file prop_genvbounds.c.

Referenced by getGenVBoundsBound(), resolveGenVBoundPropagation(), SCIP_DECL_PROPEXITPRE(), and SCIPgenVBoundAdd().

int GenVBound::index

index of this genvbound in genvboundstore array

Definition at line 70 of file prop_genvbounds.c.

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

int GenVBound::ncoefs

number of nonzero coefficients a_j

Definition at line 71 of file prop_genvbounds.c.

Referenced by getGenVBoundsBound(), resolveGenVBoundPropagation(), SCIP_DECL_PROPEXITPRE(), SCIPgenVBoundAdd(), setUpEvents(), and sortGenVBounds().

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 72 of file prop_genvbounds.c.

Referenced by addNewGenVBound(), analyzeGenVBoundConflict(), applyGenVBound(), getGenVBoundsBound(), resolveGenVBoundPropagation(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPRESPROP(), and SCIPgenVBoundAdd().