handler for Gaussian error function expressions
Definition in file expr_erf.c.
Go to the source code of this file.
Macros | |
#define | EXPRHDLR_NAME "erf" |
#define | EXPRHDLR_DESC "Gaussian error function" |
#define | EXPRHDLR_PRECEDENCE 79000 |
#define | EXPRHDLR_HASHKEY SCIPcalcFibHash(131071.0) |
Functions | |
static SCIP_Real | errorf (SCIP_Real x) |
static | SCIP_DECL_EXPRCOPYHDLR (copyhdlrErf) |
static | SCIP_DECL_EXPRSIMPLIFY (simplifyErf) |
static | SCIP_DECL_EXPRPARSE (parseErf) |
static | SCIP_DECL_EXPREVAL (evalErf) |
static | SCIP_DECL_EXPRBWDIFF (bwdiffErf) |
static | SCIP_DECL_EXPRINTEVAL (intevalErf) |
static | SCIP_DECL_EXPRHASH (hashErf) |
static | SCIP_DECL_EXPRCURVATURE (curvatureErf) |
static | SCIP_DECL_EXPRMONOTONICITY (monotonicityErf) |
static | SCIP_DECL_EXPRINTEGRALITY (integralityErf) |
SCIP_RETCODE | SCIPcreateExprErf (SCIP *scip, SCIP_EXPR **expr, SCIP_EXPR *child, SCIP_DECL_EXPR_OWNERCREATE((*ownercreate)), void *ownercreatedata) |
SCIP_Bool | SCIPisExprErf (SCIP *scip, SCIP_EXPR *expr) |
SCIP_RETCODE | SCIPincludeExprhdlrErf (SCIP *scip) |
#define EXPRHDLR_NAME "erf" |
Definition at line 36 of file expr_erf.c.
#define EXPRHDLR_DESC "Gaussian error function" |
Definition at line 37 of file expr_erf.c.
#define EXPRHDLR_PRECEDENCE 79000 |
Definition at line 38 of file expr_erf.c.
#define EXPRHDLR_HASHKEY SCIPcalcFibHash(131071.0) |
Definition at line 39 of file expr_erf.c.
evaluates the Gaussian error function at a given point
x | point to evaluate |
Definition at line 51 of file expr_erf.c.
References REALABS, SCIP_Real, x, and y.
Referenced by SCIP_DECL_EXPREVAL(), SCIP_DECL_EXPRINTEVAL(), and SCIP_DECL_EXPRSIMPLIFY().
|
static |
expression handler copy callback
Definition at line 74 of file expr_erf.c.
References SCIP_CALL, SCIP_OKAY, and SCIPincludeExprhdlrErf().
|
static |
simplifies an erf expression
Definition at line 83 of file expr_erf.c.
References assert(), errorf(), NULL, SCIP_CALL, SCIP_OKAY, SCIPcaptureExpr(), SCIPcreateExprValue(), SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPgetValueExprValue(), and SCIPisExprValue().
|
static |
expression parse callback
Definition at line 113 of file expr_erf.c.
References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPcreateExprErf(), SCIPparseExpr(), SCIPreleaseExpr(), and TRUE.
|
static |
expression (point-) evaluation callback
Definition at line 137 of file expr_erf.c.
References assert(), errorf(), NULL, SCIP_INVALID, SCIP_OKAY, SCIPexprGetChildren(), SCIPexprGetData(), SCIPexprGetEvalValue(), and SCIPexprGetNChildren().
|
static |
expression derivative evaluation callback
Definition at line 151 of file expr_erf.c.
References assert(), NULL, SCIP_OKAY, SCIPABORT, and SCIPerrorMessage.
|
static |
expression interval evaluation callback
Definition at line 163 of file expr_erf.c.
References assert(), errorf(), NULL, SCIP_INTERVAL_INFINITY, SCIP_OKAY, SCIP_Real, SCIPexprGetActivity(), SCIPexprGetChildren(), SCIPexprGetData(), SCIPexprGetNChildren(), SCIPintervalGetInf(), SCIPintervalGetSup(), SCIPintervalIsEmpty(), SCIPintervalSetBounds(), and SCIPintervalSetEmpty().
|
static |
erf hash callback
Definition at line 190 of file expr_erf.c.
References assert(), EXPRHDLR_HASHKEY, NULL, SCIP_OKAY, and SCIPexprGetNChildren().
|
static |
expression curvature detection callback
Definition at line 206 of file expr_erf.c.
References assert(), FALSE, NULL, SCIP_EXPRCURV_CONVEX, SCIP_OKAY, and TRUE.
|
static |
expression monotonicity detection callback
Definition at line 228 of file expr_erf.c.
References assert(), NULL, result, SCIP_MONOTONE_INC, and SCIP_OKAY.
|
static |
SCIP_RETCODE SCIPcreateExprErf | ( | SCIP * | scip, |
SCIP_EXPR ** | expr, | ||
SCIP_EXPR * | child, | ||
SCIP_DECL_EXPR_OWNERCREATE((*ownercreate)) | , | ||
void * | ownercreatedata ) |
creates an erf expression
erf
expressions is incomplete. They are not usable for most use cases so far. scip | SCIP data structure |
expr | pointer where to store expression |
child | child expression |
ownercreatedata | data to pass to ownercreate |
Definition at line 257 of file expr_erf.c.
References assert(), EXPRHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPABORT, SCIPcreateExpr(), SCIPerrorMessage, and SCIPfindExprhdlr().
Referenced by readExpression(), and SCIP_DECL_EXPRPARSE().
indicates whether expression is of erf-type
scip | SCIP data structure |
expr | expression |
Definition at line 285 of file expr_erf.c.
References assert(), EXPRHDLR_NAME, NULL, SCIP_Bool, SCIPexprGetHdlr(), and SCIPexprhdlrGetName().
SCIP_RETCODE SCIPincludeExprhdlrErf | ( | SCIP * | scip | ) |
creates the handler for erf expressions and includes it into SCIP
scip | SCIP data structure |
Definition at line 300 of file expr_erf.c.
References assert(), EXPRHDLR_DESC, EXPRHDLR_NAME, EXPRHDLR_PRECEDENCE, NULL, SCIP_CALL, SCIP_OKAY, SCIPexprhdlrSetCopyFreeHdlr(), SCIPexprhdlrSetCurvature(), SCIPexprhdlrSetDiff(), SCIPexprhdlrSetHash(), SCIPexprhdlrSetIntegrality(), SCIPexprhdlrSetIntEval(), SCIPexprhdlrSetMonotonicity(), SCIPexprhdlrSetParse(), SCIPexprhdlrSetSimplify(), and SCIPincludeExprhdlr().
Referenced by SCIP_DECL_EXPRCOPYHDLR().