  # SCIP

Solving Constraint Integer Programs

cons_bivariate.h File Reference

## Detailed Description

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

Definition in file cons_bivariate.h.

#include "scip/def.h"
#include "scip/type_cons.h"
#include "nlpi/type_expr.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 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_VARSCIPgetLinearVarBivariate (SCIP *scip, SCIP_CONS *cons)

SCIP_Real SCIPgetLinearCoefBivariate (SCIP *scip, SCIP_CONS *cons)

SCIP_EXPRTREESCIPgetExprtreeBivariate (SCIP *scip, SCIP_CONS *cons)

SCIP_Real SCIPgetLhsBivariate (SCIP *scip, SCIP_CONS *cons)

SCIP_Real SCIPgetRhsBivariate (SCIP *scip, SCIP_CONS *cons)