SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
constraint handler for indicator constraints over arbitrary constraint types
Definition in file cons_superindicator.h.
#include "scip/scip.h"Go to the source code of this file.
Functions | |
| SCIP_RETCODE | SCIPincludeConshdlrSuperindicator (SCIP *scip) |
Superindicator Constraints | |
Superindicator constraints are constraints of the form \[ x_i = 1 \Rightarrow C(x) \] where \( x_i \) is a binary variable and \( C(\dot) \) a constraint. The superindicator constraint is satisfied if and only if x_i is zero or C is satisfied. | |
| 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_RETCODE | SCIPcreateConsBasicSuperindicator (SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *binvar, SCIP_CONS *slackcons) |
| SCIP_VAR * | SCIPgetBinaryVarSuperindicator (SCIP_CONS *cons) |
| SCIP_CONS * | SCIPgetSlackConsSuperindicator (SCIP_CONS *cons) |
| SCIP_RETCODE | SCIPtransformMinUC (SCIP *scip, SCIP_Bool *success) |
| SCIP_DECL_DIALOGEXEC (SCIPdialogExecChangeMinUC) | |