Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

exponential expression handler

Author
Stefan Vigerske
Benjamin Mueller
Ksenia Bestuzheva

Definition in file expr_exp.c.

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

Go to the source code of this file.

Macros

#define EXPRHDLR_NAME   "exp"
 
#define EXPRHDLR_DESC   "exponential expression"
 
#define EXPRHDLR_PRECEDENCE   85000
 
#define EXPRHDLR_HASHKEY   SCIPcalcFibHash(10181.0)
 

Functions

static void addExpSecant (SCIP *scip, SCIP_Real lb, SCIP_Real ub, SCIP_Real *lincoef, SCIP_Real *linconstant, SCIP_Bool *success)
 
static void addExpLinearization (SCIP *scip, SCIP_Real refpoint, SCIP_Bool isint, SCIP_Real *lincoef, SCIP_Real *linconstant, SCIP_Bool *success)
 
static SCIP_DECL_EXPRSIMPLIFY (simplifyExp)
 
static SCIP_DECL_EXPRCOPYHDLR (copyhdlrExp)
 
static SCIP_DECL_EXPRCOPYDATA (copydataExp)
 
static SCIP_DECL_EXPRFREEDATA (freedataExp)
 
static SCIP_DECL_EXPRPARSE (parseExp)
 
static SCIP_DECL_EXPREVAL (evalExp)
 
static SCIP_DECL_EXPRBWDIFF (bwdiffExp)
 
static SCIP_DECL_EXPRINTEVAL (intevalExp)
 
static SCIP_DECL_EXPRESTIMATE (estimateExp)
 
static SCIP_DECL_EXPRINITESTIMATES (initestimatesExp)
 
static SCIP_DECL_EXPRREVERSEPROP (reversepropExp)
 
static SCIP_DECL_EXPRHASH (hashExp)
 
static SCIP_DECL_EXPRCURVATURE (curvatureExp)
 
static SCIP_DECL_EXPRMONOTONICITY (monotonicityExp)
 
SCIP_RETCODE SCIPincludeExprhdlrExp (SCIP *scip)
 
SCIP_RETCODE SCIPcreateExprExp (SCIP *scip, SCIP_EXPR **expr, SCIP_EXPR *child, SCIP_DECL_EXPR_OWNERCREATE((*ownercreate)), void *ownercreatedata)
 
SCIP_Bool SCIPisExprExp (SCIP *scip, SCIP_EXPR *expr)
 

Macro Definition Documentation

◆ EXPRHDLR_NAME

#define EXPRHDLR_NAME   "exp"

◆ EXPRHDLR_DESC

#define EXPRHDLR_DESC   "exponential expression"

Definition at line 35 of file expr_exp.c.

Referenced by SCIPincludeExprhdlrExp().

◆ EXPRHDLR_PRECEDENCE

#define EXPRHDLR_PRECEDENCE   85000

Definition at line 36 of file expr_exp.c.

Referenced by SCIPincludeExprhdlrExp().

◆ EXPRHDLR_HASHKEY

#define EXPRHDLR_HASHKEY   SCIPcalcFibHash(10181.0)

Definition at line 37 of file expr_exp.c.

Referenced by SCIP_DECL_EXPRHASH().

Function Documentation

◆ addExpSecant()

static void addExpSecant ( SCIP scip,
SCIP_Real  lb,
SCIP_Real  ub,
SCIP_Real lincoef,
SCIP_Real linconstant,
SCIP_Bool success 
)
static

computes coefficients of secant of an exponential term

Parameters
scipSCIP data structure
lblower bound on variable
ubupper bound on variable
lincoefbuffer to add coefficient of secant
linconstantbuffer to add constant of secant
successbuffer to set to FALSE if secant has failed due to large numbers or unboundedness

Definition at line 49 of file expr_exp.c.

References FALSE, NULL, REALABS, SCIP_Real, SCIPisEQ(), SCIPisInfinity(), and SCIPisLE().

Referenced by SCIP_DECL_EXPRESTIMATE(), and SCIP_DECL_EXPRINITESTIMATES().

◆ addExpLinearization()

static void addExpLinearization ( SCIP scip,
SCIP_Real  refpoint,
SCIP_Bool  isint,
SCIP_Real lincoef,
SCIP_Real linconstant,
SCIP_Bool success 
)
static

computes coefficients of linearization of an exponential term in a reference point

Parameters
scipSCIP data structure
refpointpoint for which to compute value of linearization
isintwhether corresponding variable is a discrete variable, and thus linearization could be moved
lincoefbuffer to add coefficient of secant
linconstantbuffer to add constant of secant
successbuffer to set to FALSE if secant has failed due to large numbers or unboundedness

Definition at line 100 of file expr_exp.c.

References FALSE, NULL, REALABS, SCIP_Real, SCIPfloor(), SCIPisInfinity(), and SCIPisIntegral().

Referenced by SCIP_DECL_EXPRESTIMATE(), and SCIP_DECL_EXPRINITESTIMATES().

◆ SCIP_DECL_EXPRSIMPLIFY()

static SCIP_DECL_EXPRSIMPLIFY ( simplifyExp  )
static

simplifies an exp expression

Evaluates the exponential function when its child is a value expression.

TODO: exp(log(*)) = *

! [SnippetExprSimplifyExp]

! [SnippetExprSimplifyExp]

Definition at line 160 of file expr_exp.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPcaptureExpr(), SCIPcreateExprValue(), SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPgetValueExprValue(), and SCIPisExprValue().

◆ SCIP_DECL_EXPRCOPYHDLR()

static SCIP_DECL_EXPRCOPYHDLR ( copyhdlrExp  )
static

expression handler copy callback

Definition at line 192 of file expr_exp.c.

References SCIP_CALL, SCIP_OKAY, and SCIPincludeExprhdlrExp().

◆ SCIP_DECL_EXPRCOPYDATA()

static SCIP_DECL_EXPRCOPYDATA ( copydataExp  )
static

expression data copy callback

Definition at line 201 of file expr_exp.c.

References NULL, SCIP_OKAY, and SCIPexprGetData().

◆ SCIP_DECL_EXPRFREEDATA()

static SCIP_DECL_EXPRFREEDATA ( freedataExp  )
static

expression data free callback

Definition at line 214 of file expr_exp.c.

References NULL, SCIP_OKAY, and SCIPexprSetData().

◆ SCIP_DECL_EXPRPARSE()

static SCIP_DECL_EXPRPARSE ( parseExp  )
static

expression parse callback

! [SnippetExprParseExp]

! [SnippetExprParseExp]

Definition at line 225 of file expr_exp.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPcreateExprExp(), SCIPparseExpr(), SCIPreleaseExpr(), and TRUE.

◆ SCIP_DECL_EXPREVAL()

static SCIP_DECL_EXPREVAL ( evalExp  )
static

expression point evaluation callback

Definition at line 251 of file expr_exp.c.

References NULL, SCIP_INVALID, SCIP_OKAY, SCIPexprGetChildren(), SCIPexprGetData(), SCIPexprGetEvalValue(), and SCIPexprGetNChildren().

◆ SCIP_DECL_EXPRBWDIFF()

static SCIP_DECL_EXPRBWDIFF ( bwdiffExp  )
static

expression derivative evaluation callback

Definition at line 265 of file expr_exp.c.

References NULL, SCIP_INVALID, SCIP_OKAY, SCIPexprGetChildren(), SCIPexprGetEvalValue(), and SCIPisExprValue().

◆ SCIP_DECL_EXPRINTEVAL()

static SCIP_DECL_EXPRINTEVAL ( intevalExp  )
static

◆ SCIP_DECL_EXPRESTIMATE()

static SCIP_DECL_EXPRESTIMATE ( estimateExp  )
static

◆ SCIP_DECL_EXPRINITESTIMATES()

static SCIP_DECL_EXPRINITESTIMATES ( initestimatesExp  )
static

◆ SCIP_DECL_EXPRREVERSEPROP()

static SCIP_DECL_EXPRREVERSEPROP ( reversepropExp  )
static

expression reverse propagation callback

Definition at line 402 of file expr_exp.c.

References NULL, SCIP_INTERVAL_INFINITY, SCIP_OKAY, SCIPexprGetNChildren(), SCIPintervalGetInf(), SCIPintervalGetSup(), SCIPintervalLog(), and TRUE.

◆ SCIP_DECL_EXPRHASH()

static SCIP_DECL_EXPRHASH ( hashExp  )
static

expression hash callback

Definition at line 423 of file expr_exp.c.

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

◆ SCIP_DECL_EXPRCURVATURE()

static SCIP_DECL_EXPRCURVATURE ( curvatureExp  )
static

expression curvature detection callback

Definition at line 439 of file expr_exp.c.

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

◆ SCIP_DECL_EXPRMONOTONICITY()

static SCIP_DECL_EXPRMONOTONICITY ( monotonicityExp  )
static

expression monotonicity detection callback

Definition at line 461 of file expr_exp.c.

References NULL, SCIP_MONOTONE_INC, and SCIP_OKAY.