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