Scippy

SCIP

Solving Constraint Integer Programs

expr_erf.h File Reference

Detailed Description

handler for Gaussian error function expressions

Author
Benjamin Mueller

Definition in file expr_erf.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludeExprhdlrErf (SCIP *scip)
 
Gaussian error function expression

This expression handler provides the Gaussian error function, that is

\[ x \mapsto \frac{2}{\sqrt{\pi}}\int_0^x \exp(-t^2) dt. \]

Attention
The implementation of this expression handler is incomplete. It is not usable for most use cases so far.
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)
 

Function Documentation

◆ SCIPcreateExprErf()

SCIP_RETCODE SCIPcreateExprErf ( SCIP scip,
SCIP_EXPR **  expr,
SCIP_EXPR child,
SCIP_DECL_EXPR_OWNERCREATE((*ownercreate))  ,
void *  ownercreatedata 
)

creates an erf expression

Attention
The implementation of erf expressions is incomplete. They are not usable for most use cases so far.
Parameters
scipSCIP data structure
exprpointer where to store expression
childchild expression
ownercreatedatadata to pass to ownercreate

Definition at line 257 of file expr_erf.c.

References EXPRHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPABORT, SCIPcreateExpr(), SCIPerrorMessage, and SCIPfindExprhdlr().

Referenced by readExpression(), and SCIP_DECL_EXPRPARSE().

◆ SCIPisExprErf()

SCIP_Bool SCIPisExprErf ( SCIP scip,
SCIP_EXPR expr 
)

indicates whether expression is of erf-type

Parameters
scipSCIP data structure
exprexpression

Definition at line 285 of file expr_erf.c.

References EXPRHDLR_NAME, NULL, SCIPexprGetHdlr(), and SCIPexprhdlrGetName().

◆ SCIPincludeExprhdlrErf()

SCIP_RETCODE SCIPincludeExprhdlrErf ( SCIP scip)

creates the handler for erf expressions and includes it into SCIP

Attention
The implementation of this expression handler is incomplete. It is not usable for most use cases so far.
Parameters
scipSCIP data structure

Definition at line 300 of file expr_erf.c.

References 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().