cons_superindicator.h File Reference

Detailed Description

constraint handler for indicator constraints over arbitrary constraint types

Author

Ambros Gleixner

Frederic Pythoud

Definition in file cons_superindicator.h.

#include "scip/def.h"
#include "scip/type_cons.h"
#include "scip/type_dialog.h"
#include "scip/type_retcode.h"
#include "scip/type_scip.h"
#include "scip/type_var.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)