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.

Referenced by SCIPincludeExprhdlrValue().

◆ EXPRHDLR_DESC

#define EXPRHDLR_DESC   "constant value"

Definition at line 39 of file expr_value.c.

Referenced by SCIPincludeExprhdlrValue().

◆ EXPRHDLR_PRECEDENCE

#define EXPRHDLR_PRECEDENCE   10000

Definition at line 40 of file expr_value.c.

Referenced by SCIP_DECL_EXPRPRINT(), and SCIPincludeExprhdlrValue().

◆ EXPRHDLR_HASHKEY

#define EXPRHDLR_HASHKEY   SCIPcalcFibHash(36787.0)

Definition at line 41 of file expr_value.c.

Referenced by SCIP_DECL_EXPRHASH().

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_OKAY, and SCIPexprGetData().