prop_genvbounds.h
Go to the documentation of this file.
35 * where \f$c\f$ is either 1 or -1 and \f$primal\_bound\f$ is an upper bound on the optimal objective
37 * used for providing bounds on the LHS's variable \f$x_i\f$. If the above inequality is valid, the
49 * primal bound causes an improvement of the provided bound. Similarly, if \f$a_j > 0\f$ (\f$< 0\f$), a
50 * tightened lower (upper) bound of a variable \f$x_j\f$ also yields a better bound for \f$x_i\f$.
54 * generalized variable bound B if the left-hand side variable of A appears in the right-hand side
61 * Both global and local propagation is applied: If the primal bound improves, generalized variable bounds with a
62 * nonzero coefficient d are enforced in order to tighten global bounds using the global variable bounds for computing
63 * the minactivity. Independently, the genvbounds propagator catches events SCIP_EVENTTYPE_LBTIGHTENED and
64 * SCIP_EVENTTYPE_UBTIGHTENED, i.e., locally tightened bounds of variables that occur in the right-hand sides of
68 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
89 /** adds a generalized variable bound to the genvbounds propagator; if there is already a genvbound for the bound
Definition: struct_scip.h:68
Definition: struct_var.h:207
type definitions for return codes for SCIP methods
type definitions for LP management
type definitions for SCIP's main datastructure
SCIP_RETCODE SCIPgenVBoundAdd(SCIP *scip, SCIP_PROP *genvboundprop, SCIP_VAR **vars, SCIP_VAR *var, SCIP_Real *coefs, int ncoefs, SCIP_Real coefprimalbound, SCIP_Real constant, SCIP_BOUNDTYPE boundtype)
Definition: prop_genvbounds.c:2143
type definitions for problem variables
Definition: struct_prop.h:46
type definitions for propagators
SCIP_RETCODE SCIPincludePropGenvbounds(SCIP *scip)
Definition: prop_genvbounds.c:2866
common defines and data types used in all packages of SCIP
Definition: objbenders.h:43