cons_and.h File Reference

Detailed Description

Constraint handler for AND constraints, $r = x_1 \wedge x_2 \wedge \dots \wedge x_n$.

Author

Tobias Achterberg

Stefan Heinz

Michael Winkler

Definition in file cons_and.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_RETCODE	SCIPincludeConshdlrAnd (SCIP *scip)
AND Constraints
This constraint handler deals with AND-constraints. These are constraint of the form: $$r = x_1 \wedge x_2 \wedge \dots \wedge 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_RETCODE	SCIPcreateConsAnd (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_RETCODE	SCIPcreateConsBasicAnd (SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *resvar, int nvars, SCIP_VAR **vars)
int	SCIPgetNVarsAnd (SCIP *scip, SCIP_CONS *cons)
SCIP_VAR **	SCIPgetVarsAnd (SCIP *scip, SCIP_CONS *cons)
SCIP_VAR *	SCIPgetResultantAnd (SCIP *scip, SCIP_CONS *cons)
SCIP_Bool	SCIPisAndConsSorted (SCIP *scip, SCIP_CONS *cons)
SCIP_RETCODE	SCIPsortAndCons (SCIP *scip, SCIP_CONS *cons)
SCIP_RETCODE	SCIPchgAndConsCheckFlagWhenUpgr (SCIP *scip, SCIP_CONS *cons, SCIP_Bool flag)
SCIP_RETCODE	SCIPchgAndConsRemovableFlagWhenUpgr (SCIP *scip, SCIP_CONS *cons, SCIP_Bool flag)