Scippy

SCIP

Solving Constraint Integer Programs

GenVBound Struct Reference

Detailed Description

GenVBound data

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

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

SCIP_VAR* GenVBound::var

pointer to variable x_i

Definition at line 71 of file prop_genvbounds.c.

Referenced by addNewGenVBound(), applyGenVBound(), resolveGenVBoundPropagation(), and SCIPgenVBoundAdd().

SCIP_Real* GenVBound::coefs

coefficients a_j of the variables listed in vars

Definition at line 72 of file prop_genvbounds.c.

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

SCIP_Real GenVBound::constant

constant term in generalized variable bound

Definition at line 73 of file prop_genvbounds.c.

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

SCIP_Real GenVBound::cutoffcoef

cutoff bound's coefficient

Definition at line 74 of file prop_genvbounds.c.

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

int GenVBound::index

index of this genvbound in genvboundstore array

Definition at line 75 of file prop_genvbounds.c.

Referenced by addNewGenVBound(), and applyGenVBound().

int GenVBound::ncoefs

number of nonzero coefficients a_j

Definition at line 76 of file prop_genvbounds.c.

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

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

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