cons_or.h File Reference

Detailed Description

Constraint handler for "or" constraints, \(r = x_1 \vee x_2 \vee \dots \vee x_n\).

Author

Tobias Achterberg

Stefan Heinz

Michael Winkler

Definition in file cons_or.h.

#include "scip/def.h"
#include "scip/type_cons.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_EXPORT SCIP_RETCODE	SCIPincludeConshdlrOr (SCIP *scip)
OR Constraints
This constraint handler deals with OR constraint. These are constraint of the form: \[ r = x_1 \vee x_2 \vee \dots \vee x_n \] where \(x_i\) is a binary variable for all \(i\). Hence, \(r\) is also of binary type. The variable \(r\) is called resultant and the \(x\)'s operators.
SCIP_EXPORT SCIP_RETCODE	SCIPcreateConsOr (SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *resvar, int nvars, SCIP_VAR **vars, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool dynamic, SCIP_Bool removable, SCIP_Bool stickingatnode)
SCIP_EXPORT SCIP_RETCODE	SCIPcreateConsBasicOr (SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *resvar, int nvars, SCIP_VAR **vars)
SCIP_EXPORT int	SCIPgetNVarsOr (SCIP *scip, SCIP_CONS *cons)
SCIP_EXPORT SCIP_VAR **	SCIPgetVarsOr (SCIP *scip, SCIP_CONS *cons)
SCIP_EXPORT SCIP_VAR *	SCIPgetResultantOr (SCIP *scip, SCIP_CONS *cons)