All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
cons_superindicator.h
Go to the documentation of this file.
26 * where \f$ x_i \f$ is a binary variable and \f$ C(\dot) \f$ a constraint. The superindicator constraint is satisfied
30 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
56 * @note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()
82 SCIP_Bool stickingatnode /**< should the constraint always be kept at the node where it was added, even
88 * in its most basic version, i. e., all constraint flags are set to their basic value as explained for the
89 * method SCIPcreateConsSuperindicator(); all flags can be set via SCIPsetConsFLAGNAME-methods in scip.h
91 * @see SCIPcreateConsSuperindicator() for information about the basic constraint flag configuration
93 * @note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()
122 /** transforms the current problem into a MinUC problem (minimizing the number of unsatisfied constraints),
SCIP_RETCODE SCIPincludeConshdlrSuperindicator(SCIP *scip) SCIP_RETCODE SCIPcreateConsSuperindicator(SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *binvar, SCIP_CONS *slackcons, 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 * SCIPgetBinaryVarSuperindicator(SCIP_CONS *cons) SCIP_RETCODE SCIPcreateConsBasicSuperindicator(SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *binvar, SCIP_CONS *slackcons) SCIP_CONS * SCIPgetSlackConsSuperindicator(SCIP_CONS *cons) SCIP_RETCODE SCIPtransformMinUC(SCIP *scip, SCIP_Bool *success) SCIP_DECL_DIALOGEXEC(SCIPdialogExecChangeMinUC) SCIP callable library. |