All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
cons_indicator.h
Go to the documentation of this file.
27 * @note The constraint only implements an implication not an equivalence, i.e., it does not ensure
30 * This constraint is equivalent to a linear constraint \f$ax - s \leq b\f$ and an SOS1 constraint on
37 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
60 * @note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()
72 SCIP_Bool initial, /**< should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. */
88 SCIP_Bool stickingatnode /**< should the constraint always be kept at the node where it was added, even
94 * in its most basic version, i. e., all constraint flags are set to their basic value as explained for the
95 * method SCIPcreateConsIndicator(); all flags can be set via SCIPsetConsFLAGNAME-methods in scip.h
99 * @note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()
113 /** creates and captures an indicator constraint with given linear constraint and slack variable
118 * @note we assume that @a slackvar actually appears in @a lincons and we also assume that it takes
121 * @note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()
131 SCIP_Bool initial, /**< should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. */
147 SCIP_Bool stickingatnode /**< should the constraint always be kept at the node where it was added, even
152 /** creates and captures an indicator constraint with given linear constraint and slack variable
153 * in its most basic version, i. e., all constraint flags are set to their basic value as explained for the
154 * method SCIPcreateConsIndicator(); all flags can be set via SCIPsetConsFLAGNAME-methods in scip.h
159 * @note we assume that @a slackvar actually appears in @a lincons and we also assume that it takes
162 * @note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()
164 * @see SCIPcreateConsIndicatorLinCons() for information about the basic constraint flag configuration
166 * @note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()
229 /** Based on values of other variables, computes slack and binary variable to turn constraint feasible */
238 /** Based on values of other variables, computes slack and binary variable to turn all constraints feasible */
247 /** adds additional linear constraint that is not connected by an indicator constraint, but can be used for separation */
255 /** adds additional globally valid row that is not connected by an indicator constraint, but can be used for separation */
SCIP_RETCODE SCIPcreateConsBasicIndicatorLinCons(SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *binvar, SCIP_CONS *lincons, SCIP_VAR *slackvar) SCIP_VAR * SCIPgetSlackVarIndicator(SCIP_CONS *cons) SCIP_RETCODE SCIPmakeIndicatorFeasible(SCIP *scip, SCIP_CONS *cons, SCIP_SOL *sol, SCIP_Bool *changed) SCIP_RETCODE SCIPaddVarIndicator(SCIP *scip, SCIP_CONS *cons, SCIP_VAR *var, SCIP_Real val) SCIP_RETCODE SCIPcreateConsIndicator(SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *binvar, int nvars, SCIP_VAR **vars, SCIP_Real *vals, SCIP_Real rhs, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool dynamic, SCIP_Bool removable, SCIP_Bool stickingatnode) SCIP_VAR * SCIPgetBinaryVarIndicator(SCIP_CONS *cons) SCIP_RETCODE SCIPcreateConsBasicIndicator(SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *binvar, int nvars, SCIP_VAR **vars, SCIP_Real *vals, SCIP_Real rhs) SCIP_Bool SCIPisViolatedIndicator(SCIP *scip, SCIP_CONS *cons, SCIP_SOL *sol) SCIP_RETCODE SCIPaddLinearConsIndicator(SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_CONS *lincons) SCIP_RETCODE SCIPaddRowIndicator(SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_ROW *row) SCIP_RETCODE SCIPincludeConshdlrIndicator(SCIP *scip) SCIP_RETCODE SCIPsetLinearConsIndicator(SCIP *scip, SCIP_CONS *cons, SCIP_CONS *lincons) SCIP_CONS * SCIPgetLinearConsIndicator(SCIP_CONS *cons) SCIP_RETCODE SCIPsetBinaryVarIndicator(SCIP *scip, SCIP_CONS *cons, SCIP_VAR *binvar) SCIP_RETCODE SCIPcreateConsIndicatorLinCons(SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *binvar, SCIP_CONS *lincons, SCIP_VAR *slackvar, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool dynamic, SCIP_Bool removable, SCIP_Bool stickingatnode) SCIP_RETCODE SCIPmakeIndicatorsFeasible(SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_SOL *sol, SCIP_Bool *changed) SCIP callable library. |