Scippy

    SCIP

    Solving Constraint Integer Programs

    Detailed Description

    constant value expression handler

    Author
    Stefan Vigerske
    Benjamin Mueller

    Definition in file expr_value.c.

    #include <string.h>
    #include "scip/expr_value.h"

    Go to the source code of this file.

    Macros

    #define EXPRHDLR_NAME   "val"
     
    #define EXPRHDLR_DESC   "constant value"
     
    #define EXPRHDLR_PRECEDENCE   10000
     
    #define EXPRHDLR_HASHKEY   SCIPcalcFibHash(36787.0)
     

    Functions

    static SCIP_DECL_EXPRCOMPARE (compareValue)
     
    static SCIP_DECL_EXPRCOPYHDLR (copyhdlrValue)
     
    static SCIP_DECL_EXPRCOPYDATA (copydataValue)
     
    static SCIP_DECL_EXPRFREEDATA (freedataValue)
     
    static SCIP_DECL_EXPRPRINT (printValue)
     
    static SCIP_DECL_EXPREVAL (evalValue)
     
    static SCIP_DECL_EXPRBWDIFF (bwdiffValue)
     
    static SCIP_DECL_EXPRFWDIFF (fwdiffValue)
     
    static SCIP_DECL_EXPRBWFWDIFF (bwfwdiffValue)
     
    static SCIP_DECL_EXPRINTEVAL (intevalValue)
     
    static SCIP_DECL_EXPRHASH (hashValue)
     
    static SCIP_DECL_EXPRCURVATURE (curvatureValue)
     
    static SCIP_DECL_EXPRMONOTONICITY (monotonicityValue)
     
    static SCIP_DECL_EXPRINTEGRALITY (integralityValue)
     
    SCIP_RETCODE SCIPincludeExprhdlrValue (SCIP *scip)
     
    SCIP_RETCODE SCIPcreateExprValue (SCIP *scip, SCIP_EXPR **expr, SCIP_Real value, SCIP_DECL_EXPR_OWNERCREATE((*ownercreate)), void *ownercreatedata)
     
    SCIP_Real SCIPgetValueExprValue (SCIP_EXPR *expr)
     

    Macro Definition Documentation

    ◆ EXPRHDLR_NAME

    #define EXPRHDLR_NAME   "val"

    Definition at line 38 of file expr_value.c.

    ◆ EXPRHDLR_DESC

    #define EXPRHDLR_DESC   "constant value"

    Definition at line 39 of file expr_value.c.

    ◆ EXPRHDLR_PRECEDENCE

    #define EXPRHDLR_PRECEDENCE   10000

    Definition at line 40 of file expr_value.c.

    ◆ EXPRHDLR_HASHKEY

    #define EXPRHDLR_HASHKEY   SCIPcalcFibHash(36787.0)

    Definition at line 41 of file expr_value.c.

    Function Documentation

    ◆ SCIP_DECL_EXPRCOMPARE()

    static SCIP_DECL_EXPRCOMPARE ( compareValue  )
    static

    the order of two values is the real order

    Definition at line 59 of file expr_value.c.

    References NULL, SCIP_Real, and SCIPexprGetData().

    ◆ SCIP_DECL_EXPRCOPYHDLR()

    static SCIP_DECL_EXPRCOPYHDLR ( copyhdlrValue  )
    static

    expression handler copy callback

    Definition at line 75 of file expr_value.c.

    References SCIP_CALL, SCIP_OKAY, and SCIPincludeExprhdlrValue().

    ◆ SCIP_DECL_EXPRCOPYDATA()

    static SCIP_DECL_EXPRCOPYDATA ( copydataValue  )
    static

    expression data copy callback

    Definition at line 84 of file expr_value.c.

    References NULL, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemory, and SCIPexprGetData().

    ◆ SCIP_DECL_EXPRFREEDATA()

    static SCIP_DECL_EXPRFREEDATA ( freedataValue  )
    static

    expression data free callback

    Definition at line 97 of file expr_value.c.

    References NULL, SCIP_OKAY, SCIPexprGetData(), SCIPexprSetData(), and SCIPfreeBlockMemory.

    ◆ SCIP_DECL_EXPRPRINT()

    static SCIP_DECL_EXPRPRINT ( printValue  )
    static

    expression print callback

    Definition at line 114 of file expr_value.c.

    References EXPRHDLR_PRECEDENCE, NULL, SCIP_EXPRITER_ENTEREXPR, SCIP_OKAY, SCIP_Real, SCIPexprGetData(), and SCIPinfoMessage().

    ◆ SCIP_DECL_EXPREVAL()

    static SCIP_DECL_EXPREVAL ( evalValue  )
    static

    expression point evaluation callback

    Definition at line 137 of file expr_value.c.

    References NULL, SCIP_OKAY, and SCIPexprGetData().

    ◆ SCIP_DECL_EXPRBWDIFF()

    static SCIP_DECL_EXPRBWDIFF ( bwdiffValue  )
    static

    expression backward derivative evaluation callback

    Definition at line 149 of file expr_value.c.

    References SCIP_INVALIDCALL.

    ◆ SCIP_DECL_EXPRFWDIFF()

    static SCIP_DECL_EXPRFWDIFF ( fwdiffValue  )
    static

    expression forward derivative evaluation callback

    Definition at line 157 of file expr_value.c.

    References NULL, and SCIP_OKAY.

    ◆ SCIP_DECL_EXPRBWFWDIFF()

    static SCIP_DECL_EXPRBWFWDIFF ( bwfwdiffValue  )
    static

    derivative evaluation callback for Hessian directions (backward over forward)

    Definition at line 168 of file expr_value.c.

    References SCIP_INVALIDCALL.

    ◆ SCIP_DECL_EXPRINTEVAL()

    static SCIP_DECL_EXPRINTEVAL ( intevalValue  )
    static

    expression interval evaluation callback

    Definition at line 176 of file expr_value.c.

    References NULL, SCIP_OKAY, SCIPexprGetData(), and SCIPintervalSet().

    ◆ SCIP_DECL_EXPRHASH()

    static SCIP_DECL_EXPRHASH ( hashValue  )
    static

    expression hash callback

    Definition at line 188 of file expr_value.c.

    References EXPRHDLR_HASHKEY, NULL, SCIP_OKAY, SCIPcalcFibHash(), SCIPexprGetData(), and SCIPexprGetNChildren().

    ◆ SCIP_DECL_EXPRCURVATURE()

    static SCIP_DECL_EXPRCURVATURE ( curvatureValue  )
    static

    expression curvature detection callback

    Definition at line 204 of file expr_value.c.

    References NULL, SCIP_OKAY, SCIPexprGetNChildren(), and TRUE.

    ◆ SCIP_DECL_EXPRMONOTONICITY()

    static SCIP_DECL_EXPRMONOTONICITY ( monotonicityValue  )
    static

    expression monotonicity detection callback

    Definition at line 218 of file expr_value.c.

    References NULL, SCIP_MONOTONE_CONST, SCIP_OKAY, and SCIPexprGetNChildren().

    ◆ SCIP_DECL_EXPRINTEGRALITY()

    static SCIP_DECL_EXPRINTEGRALITY ( integralityValue  )
    static

    expression integrality detection callback

    Definition at line 232 of file expr_value.c.

    References EPSISINT, NULL, SCIP_IMPLINTTYPE_NONE, SCIP_IMPLINTTYPE_STRONG, SCIP_OKAY, and SCIPexprGetData().