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"

◆ EXPRHDLR_DESC

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

Definition at line 43 of file expr_varidx.c.

Referenced by SCIPincludeExprhdlrVaridx().

◆ EXPRHDLR_PRECEDENCE

#define EXPRHDLR_PRECEDENCE   0

Definition at line 44 of file expr_varidx.c.

Referenced by SCIPincludeExprhdlrVaridx().

◆ EXPRHDLR_HASHKEY

#define EXPRHDLR_HASHKEY   20201210

Definition at line 45 of file expr_varidx.c.

Referenced by SCIP_DECL_EXPRHASH().

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.