cons_bivariate.h File Reference

Detailed Description

constraint handler for bivariate nonlinear constraints $\textrm{lhs} \leq f(x,y) + c z \leq \textrm{rhs}$

Author

Martin Ballerstein

Dennis Michaels

Stefan Vigerske

Definition in file cons_bivariate.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions
SCIP_RETCODE	SCIPincludeConshdlrBivariate (SCIP *scip)

Bivariate Constraints
This constraint handler handles constraints of the form $$\textrm{lhs} \leq f(x,y) + c z \leq \textrm{rhs}$$ for a bivariate nonlinear function $f(x,y)$ (given as expression tree) that has a fixed convexity behaviour, that is, $f(x,y)$ has to be either jointly convex in $(x,y)$, or convex in $x$ and concave in $y$, or convex in $x$ and convex in $y$, but indefinite w.r.t. $(x,y)$. See also Martin Ballerstein, Dennis Michaels, and Stefan Vigerske Linear Underestimators for bivariate functions with a fixed convexity behavior ZIB Report 13-02, 2013. http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1764
enum	SCIP_BIVAR_CONVEXITY {   SCIP_BIVAR_ALLCONVEX = 0,   SCIP_BIVAR_1CONVEX_INDEFINITE = 1,   SCIP_BIVAR_CONVEX_CONCAVE = 2,   SCIP_BIVAR_UNKNOWN = 3 }
SCIP_RETCODE	SCIPcreateConsBivariate (SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_EXPRTREE *f, SCIP_BIVAR_CONVEXITY convextype, SCIP_VAR *z, SCIP_Real zcoef, 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	SCIPcreateConsBasicBivariate (SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_EXPRTREE *f, SCIP_BIVAR_CONVEXITY convextype, SCIP_VAR *z, SCIP_Real zcoef, SCIP_Real lhs, SCIP_Real rhs)
SCIP_VAR *	SCIPgetLinearVarBivariate (SCIP *scip, SCIP_CONS *cons)
SCIP_Real	SCIPgetLinearCoefBivariate (SCIP *scip, SCIP_CONS *cons)
SCIP_EXPRTREE *	SCIPgetExprtreeBivariate (SCIP *scip, SCIP_CONS *cons)
SCIP_Real	SCIPgetLhsBivariate (SCIP *scip, SCIP_CONS *cons)
SCIP_Real	SCIPgetRhsBivariate (SCIP *scip, SCIP_CONS *cons)