Solving Constraint Integer Programs
GenVBound data
Definition at line 62 of file prop_genvbounds.c.
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().
pointer to variable x_i
Definition at line 66 of file prop_genvbounds.c.
Referenced by addNewGenVBound(), analyzeGenVBoundConflict(), applyGenVBound(), resolveGenVBoundPropagation(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPRESPROP(), and SCIPgenVBoundAdd().
coefficients a_j of the variables listed in vars
Definition at line 67 of file prop_genvbounds.c.
constant term in generalized variable bound
Definition at line 68 of file prop_genvbounds.c.
Referenced by getGenVBoundsBound(), resolveGenVBoundPropagation(), SCIP_DECL_PROPEXITPRE(), and SCIPgenVBoundAdd().
cutoff bound's coefficient
Definition at line 69 of file prop_genvbounds.c.
index of this genvbound in genvboundstore array
Definition at line 70 of file prop_genvbounds.c.
Referenced by addNewGenVBound(), applyGenVBound(), and sortGenVBounds().
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().
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().