Scippy

    SCIP

    Solving Constraint Integer Programs

    Detailed Description

    handler for variable index expressions

    Author
    Benjamin Mueller

    Definition in file expr_varidx.c.

    #include "scip/expr_varidx.h"
    #include "scip/intervalarith.h"
    #include "scip/pub_expr.h"
    #include "scip/scip_expr.h"
    #include "scip/scip_message.h"
    #include "scip/pub_message.h"
    #include "scip/pub_misc.h"

    Go to the source code of this file.

    Macros

    #define EXPRHDLR_NAME   "varidx"
     
    #define EXPRHDLR_DESC   "expression that represents a variable index (typically used for NLPI)"
     
    #define EXPRHDLR_PRECEDENCE   0
     
    #define EXPRHDLR_HASHKEY   20201210
     

    Functions

    static SCIP_DECL_EXPRCOPYHDLR (copyhdlrVaridx)
     
    static SCIP_DECL_EXPRCOMPARE (compareVaridx)
     
    static SCIP_DECL_EXPRCOPYDATA (copydataVaridx)
     
    static SCIP_DECL_EXPRFREEDATA (freedataVaridx)
     
    static SCIP_DECL_EXPRPRINT (printVaridx)
     
    static SCIP_DECL_EXPREVAL (evalVaridx)
     
    static SCIP_DECL_EXPRBWDIFF (bwdiffVaridx)
     
    static SCIP_DECL_EXPRFWDIFF (fwdiffVaridx)
     
    static SCIP_DECL_EXPRBWFWDIFF (bwfwdiffVaridx)
     
    static SCIP_DECL_EXPRHASH (hashVaridx)
     
    static SCIP_DECL_EXPRCURVATURE (curvatureVaridx)
     
    static SCIP_DECL_EXPRMONOTONICITY (monotonicityVaridx)
     
    SCIP_RETCODE SCIPincludeExprhdlrVaridx (SCIP *scip)
     
    SCIP_RETCODE SCIPcreateExprVaridx (SCIP *scip, SCIP_EXPR **expr, int varidx, SCIP_DECL_EXPR_OWNERCREATE((*ownercreate)), void *ownercreatedata)
     
    SCIP_Bool SCIPisExprVaridx (SCIP *scip, SCIP_EXPR *expr)
     
    int SCIPgetIndexExprVaridx (SCIP_EXPR *expr)
     
    void SCIPsetIndexExprVaridx (SCIP_EXPR *expr, int newindex)
     

    Macro Definition Documentation

    ◆ EXPRHDLR_NAME

    #define EXPRHDLR_NAME   "varidx"

    Definition at line 42 of file expr_varidx.c.

    ◆ EXPRHDLR_DESC

    #define EXPRHDLR_DESC   "expression that represents a variable index (typically used for NLPI)"

    Definition at line 43 of file expr_varidx.c.

    ◆ EXPRHDLR_PRECEDENCE

    #define EXPRHDLR_PRECEDENCE   0

    Definition at line 44 of file expr_varidx.c.

    ◆ EXPRHDLR_HASHKEY

    #define EXPRHDLR_HASHKEY   20201210

    Definition at line 45 of file expr_varidx.c.

    Function Documentation

    ◆ SCIP_DECL_EXPRCOPYHDLR()

    static SCIP_DECL_EXPRCOPYHDLR ( copyhdlrVaridx  )
    static

    expression handler copy callback

    Definition at line 53 of file expr_varidx.c.

    References SCIP_CALL, SCIP_OKAY, and SCIPincludeExprhdlrVaridx().

    ◆ SCIP_DECL_EXPRCOMPARE()

    static SCIP_DECL_EXPRCOMPARE ( compareVaridx  )
    static

    expression compare callback

    Definition at line 62 of file expr_varidx.c.

    References NULL, and SCIPgetIndexExprVaridx().

    ◆ SCIP_DECL_EXPRCOPYDATA()

    static SCIP_DECL_EXPRCOPYDATA ( copydataVaridx  )
    static

    expression data copy callback

    Definition at line 81 of file expr_varidx.c.

    References NULL, SCIP_OKAY, and SCIPexprGetData().

    ◆ SCIP_DECL_EXPRFREEDATA()

    static SCIP_DECL_EXPRFREEDATA ( freedataVaridx  )
    static

    expression data free callback

    Definition at line 92 of file expr_varidx.c.

    References NULL, SCIP_OKAY, and SCIPexprSetData().

    ◆ SCIP_DECL_EXPRPRINT()

    static SCIP_DECL_EXPRPRINT ( printVaridx  )
    static

    expression print callback

    Definition at line 103 of file expr_varidx.c.

    References NULL, SCIP_EXPRITER_ENTEREXPR, SCIP_OKAY, SCIPgetIndexExprVaridx(), and SCIPinfoMessage().

    ◆ SCIP_DECL_EXPREVAL()

    static SCIP_DECL_EXPREVAL ( evalVaridx  )
    static

    expression (point-) evaluation callback

    Definition at line 117 of file expr_varidx.c.

    References NULL, SCIP_OKAY, SCIPABORT, and SCIPerrorMessage.

    ◆ SCIP_DECL_EXPRBWDIFF()

    static SCIP_DECL_EXPRBWDIFF ( bwdiffVaridx  )
    static

    expression backward derivative evaluation callback

    Definition at line 129 of file expr_varidx.c.

    References SCIP_INVALIDCALL.

    ◆ SCIP_DECL_EXPRFWDIFF()

    static SCIP_DECL_EXPRFWDIFF ( fwdiffVaridx  )
    static

    expression forward derivative evaluation callback

    Definition at line 137 of file expr_varidx.c.

    References NULL, SCIP_OKAY, SCIPABORT, and SCIPerrorMessage.

    ◆ SCIP_DECL_EXPRBWFWDIFF()

    static SCIP_DECL_EXPRBWFWDIFF ( bwfwdiffVaridx  )
    static

    expression backward-forward derivative evaluation callback

    Definition at line 149 of file expr_varidx.c.

    References SCIP_INVALIDCALL.

    ◆ SCIP_DECL_EXPRHASH()

    static SCIP_DECL_EXPRHASH ( hashVaridx  )
    static

    varidx hash callback

    Definition at line 157 of file expr_varidx.c.

    References EXPRHDLR_HASHKEY, NULL, SCIP_OKAY, SCIP_Real, SCIPcalcFibHash(), and SCIPgetIndexExprVaridx().

    ◆ SCIP_DECL_EXPRCURVATURE()

    static SCIP_DECL_EXPRCURVATURE ( curvatureVaridx  )
    static

    expression curvature detection callback

    Definition at line 170 of file expr_varidx.c.

    References NULL, SCIP_OKAY, and TRUE.

    ◆ SCIP_DECL_EXPRMONOTONICITY()

    static SCIP_DECL_EXPRMONOTONICITY ( monotonicityVaridx  )
    static

    expression monotonicity detection callback

    Definition at line 182 of file expr_varidx.c.

    References NULL, SCIP_MONOTONE_INC, and SCIP_OKAY.