SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
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/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
| |
| 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) |