cons_varbound.h File Reference

Detailed Description

Constraint handler for variable bound constraints \(lhs \leq x + c y \leq rhs\).

Author

Tobias Achterberg

Timo Berthold

Michael Winkler

Gerald Gamrath

Stefan Heinz

Definition in file cons_varbound.h.

#include "scip/def.h"
#include "scip/type_cons.h"
#include "scip/type_lp.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	SCIPincludeConshdlrVarbound (SCIP *scip)
Variable Bound Constraints
This constraint handler handles a special type of linear constraints, namely variable bound constraints. A variable bound constraint has the form \[ lhs \leq x + c y \leq rhs \] with coefficient \(c \in Q\), \(lhs\in Q \cup \{-\infty\}\), \(rhs\in Q \cup \{\infty\}\), and decision variables \(x\) (non-binary) and \(y\) (binary or integer).
SCIP_RETCODE	SCIPcreateConsVarbound (SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *var, SCIP_VAR *vbdvar, SCIP_Real vbdcoef, SCIP_Real lhs, SCIP_Real rhs, 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	SCIPcreateConsBasicVarbound (SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *var, SCIP_VAR *vbdvar, SCIP_Real vbdcoef, SCIP_Real lhs, SCIP_Real rhs)
SCIP_Real	SCIPgetLhsVarbound (SCIP *scip, SCIP_CONS *cons)
SCIP_Real	SCIPgetRhsVarbound (SCIP *scip, SCIP_CONS *cons)
SCIP_VAR *	SCIPgetVarVarbound (SCIP *scip, SCIP_CONS *cons)
SCIP_VAR *	SCIPgetVbdvarVarbound (SCIP *scip, SCIP_CONS *cons)
SCIP_Real	SCIPgetVbdcoefVarbound (SCIP *scip, SCIP_CONS *cons)
SCIP_Real	SCIPgetDualsolVarbound (SCIP *scip, SCIP_CONS *cons)
SCIP_Real	SCIPgetDualfarkasVarbound (SCIP *scip, SCIP_CONS *cons)
SCIP_ROW *	SCIPgetRowVarbound (SCIP *scip, SCIP_CONS *cons)
SCIP_RETCODE	SCIPcreateRowVarbound (SCIP *scip, SCIP_CONS *cons)
SCIP_RETCODE	SCIPcleanupConssVarbound (SCIP *scip, SCIP_Bool onlychecked, SCIP_Bool *infeasible, int *naddconss, int *ndelconss, int *nchgbds)