variable expression handler
Definition in file expr_var.c.
Go to the source code of this file.
Macros | |
#define | EXPRHDLR_NAME "var" |
#define | EXPRHDLR_DESC "SCIP variable expression" |
#define | EXPRHDLR_PRECEDENCE 0 |
#define | EXPRHDLR_HASHKEY SCIPcalcFibHash(22153.0) |
#define | infty2infty(infty1, infty2, val) |
Functions | |
static | SCIP_DECL_EXPRSIMPLIFY (simplifyVar) |
static | SCIP_DECL_EXPRCOMPARE (compareVar) |
static | SCIP_DECL_EXPRCOPYHDLR (copyhdlrVar) |
static | SCIP_DECL_EXPRCOPYDATA (copydataVar) |
static | SCIP_DECL_EXPRFREEDATA (freedataVar) |
static | SCIP_DECL_EXPRPRINT (printVar) |
static | SCIP_DECL_EXPREVAL (evalVar) |
static | SCIP_DECL_EXPRBWDIFF (bwdiffVar) |
static | SCIP_DECL_EXPRFWDIFF (fwdiffVar) |
static | SCIP_DECL_EXPRBWFWDIFF (bwfwdiffVar) |
static | SCIP_DECL_EXPRINTEVAL (intevalVar) |
static | SCIP_DECL_EXPRHASH (hashVar) |
static | SCIP_DECL_EXPRCURVATURE (curvatureVar) |
static | SCIP_DECL_EXPRMONOTONICITY (monotonicityVar) |
static | SCIP_DECL_EXPRINTEGRALITY (integralityVar) |
SCIP_RETCODE | SCIPincludeExprhdlrVar (SCIP *scip) |
SCIP_RETCODE | SCIPcreateExprVar (SCIP *scip, SCIP_EXPR **expr, SCIP_VAR *var, SCIP_DECL_EXPR_OWNERCREATE((*ownercreate)), void *ownercreatedata) |
SCIP_VAR * | SCIPgetVarExprVar (SCIP_EXPR *expr) |
#define EXPRHDLR_NAME "var" |
Definition at line 43 of file expr_var.c.
#define EXPRHDLR_DESC "SCIP variable expression" |
Definition at line 44 of file expr_var.c.
#define EXPRHDLR_PRECEDENCE 0 |
Definition at line 45 of file expr_var.c.
#define EXPRHDLR_HASHKEY SCIPcalcFibHash(22153.0) |
Definition at line 46 of file expr_var.c.
#define infty2infty | ( | infty1, | |
infty2, | |||
val ) |
translate from one value of infinity to another
if val is >= infty1, then give infty2, else give val
Definition at line 52 of file expr_var.c.
Referenced by SCIP_DECL_EXPRINTEVAL().
|
static |
simplifies a variable expression
We replace the variable when fixed by its value. If a variable is fixed, (multi)aggregated or more generally, inactive, we replace it with its active counterpart
Implementation note:
Definition at line 68 of file expr_var.c.
References assert(), i, NULL, nvars, REALABS, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPappendExprSumExpr(), SCIPcaptureExpr(), SCIPcreateExprSum(), SCIPcreateExprVar(), SCIPfreeBufferArray, SCIPgetProbvarLinearSum(), SCIPgetVarExprVar(), SCIPinfoMessage(), SCIPisInfinity(), SCIPprintExpr(), SCIPreallocBufferArray, SCIPreleaseExpr(), SCIPvarGetName(), SCIPvarIsActive(), SCIPvarIsOriginal(), TRUE, var, and vars.
|
static |
the order of two variable is given by their indices
Definition at line 158 of file expr_var.c.
References SCIPgetVarExprVar(), and SCIPvarGetIndex().
|
static |
expression handler copy callback
Definition at line 171 of file expr_var.c.
References SCIP_CALL, SCIP_OKAY, and SCIPincludeExprhdlrVar().
|
static |
expression data copy callback
Definition at line 180 of file expr_var.c.
References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPcaptureVar(), SCIPgetVarExprVar(), and var.
|
static |
expression data free callback
Definition at line 202 of file expr_var.c.
References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPexprGetData(), SCIPexprSetData(), and SCIPreleaseVar().
|
static |
expression print callback
Definition at line 220 of file expr_var.c.
References assert(), NULL, SCIP_EXPRITER_ENTEREXPR, SCIP_OKAY, SCIPgetVarExprVar(), SCIPinfoMessage(), and SCIPvarGetName().
|
static |
expression point evaluation callback
Definition at line 235 of file expr_var.c.
References assert(), NULL, SCIP_OKAY, SCIPgetSolVal(), SCIPgetVarExprVar(), and sol.
|
static |
expression backward derivative evaluation callback
Definition at line 247 of file expr_var.c.
References SCIP_INVALIDCALL.
|
static |
expression forward derivative evaluation callback
Definition at line 255 of file expr_var.c.
References assert(), NULL, SCIP_OKAY, SCIPgetSolVal(), and SCIPgetVarExprVar().
|
static |
expression derivative evaluation callback
Definition at line 267 of file expr_var.c.
References SCIP_INVALIDCALL.
|
static |
expression interval evaluation callback
Definition at line 275 of file expr_var.c.
References assert(), infty2infty, NULL, SCIP_INTERVAL_INFINITY, SCIP_OKAY, SCIP_Real, SCIPgetVarExprVar(), SCIPinfinity(), SCIPintervalSetBounds(), SCIPvarGetLbLocal(), SCIPvarGetUbLocal(), and var.
|
static |
variable hash callback
Definition at line 304 of file expr_var.c.
References assert(), EXPRHDLR_HASHKEY, NULL, SCIP_OKAY, SCIP_Real, SCIPcalcFibHash(), SCIPexprGetNChildren(), SCIPgetVarExprVar(), SCIPvarGetIndex(), and var.
|
static |
expression curvature detection callback
Definition at line 324 of file expr_var.c.
References assert(), NULL, SCIP_OKAY, SCIPexprGetNChildren(), and TRUE.
|
static |
expression monotonicity detection callback
Definition at line 339 of file expr_var.c.
References assert(), NULL, result, SCIP_MONOTONE_INC, SCIP_OKAY, and SCIPexprGetNChildren().
|
static |
expression integrality detection callback
Definition at line 353 of file expr_var.c.
References assert(), NULL, SCIP_OKAY, SCIPgetVarExprVar(), and SCIPvarIsIntegral().