Detailed Description

type definitions for expressions and expression trees

Author: Stefan Vigerske; Thorsten Gellermann

Definition in file type_expr.h.

Macros
#define	SCIP_EXPR_DEGREEINFINITY 65535

#define	SCIP_DECL_EXPREVAL(x) SCIP_RETCODE x (SCIP_EXPROPDATA opdata, int nargs, SCIP_Real* argvals, SCIP_Real* varvals, SCIP_Real* paramvals, SCIP_Real* result)

#define	SCIP_DECL_EXPRINTEVAL(x) SCIP_RETCODE x (SCIP_Real infinity, SCIP_EXPROPDATA opdata, int nargs, SCIP_INTERVAL* argvals, SCIP_INTERVAL* varvals, SCIP_Real* paramvals, SCIP_INTERVAL* result)

#define	SCIP_DECL_EXPRCURV(x) SCIP_RETCODE x (SCIP_Real infinity, SCIP_EXPROPDATA opdata, int nargs, SCIP_INTERVAL* argbounds, SCIP_EXPRCURV* argcurv, SCIP_EXPRCURV* result)

#define	SCIP_DECL_EXPRCOPYDATA(x) SCIP_RETCODE x (BMS_BLKMEM* blkmem, int nchildren, SCIP_EXPROPDATA opdatasource, SCIP_EXPROPDATA* opdatatarget)

#define	SCIP_DECL_EXPRFREEDATA(x) void x (BMS_BLKMEM* blkmem, int nchildren, SCIP_EXPROPDATA opdata)

#define	SCIP_DECL_EXPRGRAPHVARADDED(x) SCIP_RETCODE x (SCIP_EXPRGRAPH* exprgraph, void* userdata, void* var, SCIP_EXPRGRAPHNODE* varnode)

#define	SCIP_DECL_EXPRGRAPHVARREMOVE(x) SCIP_RETCODE x (SCIP_EXPRGRAPH* exprgraph, void* userdata, void* var, SCIP_EXPRGRAPHNODE* varnode)

#define	SCIP_DECL_EXPRGRAPHVARCHGIDX(x) SCIP_RETCODE x (SCIP_EXPRGRAPH* exprgraph, void* userdata, void* var, SCIP_EXPRGRAPHNODE* varnode, int oldidx, int newidx)

#define	SCIP_EXPRBOUNDSTATUS_VALID 0x0

#define	SCIP_EXPRBOUNDSTATUS_CHILDTIGHTENED 0x1

#define	SCIP_EXPRBOUNDSTATUS_CHILDRELAXED 0x2

#define	SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENT 0x4

#define	SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENTRECENT (0x8 \| SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENT)

#define	SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENTFORCE (0x10 \| SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENTRECENT)

Typedefs
typedef enum SCIP_ExprOp	SCIP_EXPROP

typedef union SCIP_ExprOpData	SCIP_EXPROPDATA

typedef struct SCIP_Expr	SCIP_EXPR

typedef struct SCIP_ExprTree	SCIP_EXPRTREE

typedef enum SCIP_ExprCurv	SCIP_EXPRCURV

typedef struct SCIP_QuadElement	SCIP_QUADELEM

typedef struct SCIP_ExprData_Quadratic	SCIP_EXPRDATA_QUADRATIC

typedef struct SCIP_ExprData_Monomial	SCIP_EXPRDATA_MONOMIAL

typedef struct SCIP_ExprData_Polynomial	SCIP_EXPRDATA_POLYNOMIAL

typedef struct SCIP_ExprGraphNode	SCIP_EXPRGRAPHNODE

typedef struct SCIP_ExprGraph	SCIP_EXPRGRAPH

typedef char	SCIP_EXPRBOUNDSTATUS

Enumerations
enum	SCIP_ExprOp { SCIP_EXPR_VARIDX = 1, SCIP_EXPR_CONST = 2, SCIP_EXPR_PARAM = 3, SCIP_EXPR_PLUS = 8, SCIP_EXPR_MINUS = 9, SCIP_EXPR_MUL = 10, SCIP_EXPR_DIV = 11, SCIP_EXPR_SQUARE = 12, SCIP_EXPR_SQRT = 13, SCIP_EXPR_REALPOWER = 14, SCIP_EXPR_INTPOWER = 15, SCIP_EXPR_SIGNPOWER = 16, SCIP_EXPR_EXP = 17, SCIP_EXPR_LOG = 18, SCIP_EXPR_SIN = 19, SCIP_EXPR_COS = 20, SCIP_EXPR_TAN = 21, SCIP_EXPR_MIN = 24, SCIP_EXPR_MAX = 25, SCIP_EXPR_ABS = 26, SCIP_EXPR_SIGN = 27, SCIP_EXPR_SUM = 64, SCIP_EXPR_PRODUCT = 65, SCIP_EXPR_LINEAR = 66, SCIP_EXPR_QUADRATIC = 67, SCIP_EXPR_POLYNOMIAL = 68, SCIP_EXPR_LAST = 69 }

enum	SCIP_ExprCurv { SCIP_EXPRCURV_UNKNOWN = 0, SCIP_EXPRCURV_CONVEX = 1, SCIP_EXPRCURV_CONCAVE = 2, SCIP_EXPRCURV_LINEAR = SCIP_EXPRCURV_CONVEX \| SCIP_EXPRCURV_CONCAVE }

Macro Definition Documentation

#define SCIP_EXPR_DEGREEINFINITY 65535

value that stands for an infinite degree of an expression (see SCIPexprGetMaxDegree)

Definition at line 111 of file type_expr.h.

Referenced by exprUnconvertPolynomial(), readPolynomial(), and SCIPexprGetMaxDegree().

#define SCIP_DECL_EXPREVAL ( x ) SCIP_RETCODE x (SCIP_EXPROPDATA opdata, int nargs, SCIP_Real* argvals, SCIP_Real* varvals, SCIP_Real* paramvals, SCIP_Real* result)

signature of an expression (pointwise) evaluation function The function should return nan, inf, or -inf in result if the function is undefined for the given arguments.

opdata operand data
nargs number of arguments
argvals values of arguments
varvals values for variables
paramvals values for parameters
result buffer where to store result of evaluation

Definition at line 123 of file type_expr.h.

#define SCIP_DECL_EXPRINTEVAL ( x ) SCIP_RETCODE x (SCIP_Real infinity, SCIP_EXPROPDATA opdata, int nargs, SCIP_INTERVAL* argvals, SCIP_INTERVAL* varvals, SCIP_Real* paramvals, SCIP_INTERVAL* result)

signature of an expression (interval) evaluation function The function should return an empty interval if the function is undefined for the given arguments.

infinity value for infinity
opdata operand data
nargs number of arguments
argvals interval values of arguments
varvals interval values for variables
paramvals values for parameters
result buffer where to store result of evaluation

Definition at line 136 of file type_expr.h.

#define SCIP_DECL_EXPRCURV ( x ) SCIP_RETCODE x (SCIP_Real infinity, SCIP_EXPROPDATA opdata, int nargs, SCIP_INTERVAL* argbounds, SCIP_EXPRCURV* argcurv, SCIP_EXPRCURV* result)

signature of a simple expression curvature check function

infinity value for infinity
opdata operand data
nargs number of arguments
argbounds bounds on value of arguments
argcurv curvature of arguments
paramvals values for parameters
result buffer where to store result of curvature check

Definition at line 148 of file type_expr.h.

#define SCIP_DECL_EXPRCOPYDATA ( x ) SCIP_RETCODE x (BMS_BLKMEM* blkmem, int nchildren, SCIP_EXPROPDATA opdatasource, SCIP_EXPROPDATA* opdatatarget)

signature of a expression data copy function

blkmem block memory
nchildren number of children in expression
opdatasource source expression data
opdatatarget pointer to target expression data

Definition at line 157 of file type_expr.h.

#define SCIP_DECL_EXPRFREEDATA ( x ) void x (BMS_BLKMEM* blkmem, int nchildren, SCIP_EXPROPDATA opdata)

signature of a expression data free function

blkmem block memory
nchildren number of children in expression
opdata expression data to free

Definition at line 165 of file type_expr.h.

#define SCIP_DECL_EXPRGRAPHVARADDED ( x ) SCIP_RETCODE x (SCIP_EXPRGRAPH* exprgraph, void* userdata, void* var, SCIP_EXPRGRAPHNODE* varnode)

callback method of expression graph invoked when a new variable has been added to the graph

input:

exprgraph expression graph
userdata a pointer to user data
var variable that has been added to expression graph
varnode new expression graph node for a variable

Definition at line 178 of file type_expr.h.

#define SCIP_DECL_EXPRGRAPHVARREMOVE ( x ) SCIP_RETCODE x (SCIP_EXPRGRAPH* exprgraph, void* userdata, void* var, SCIP_EXPRGRAPHNODE* varnode)

callback method of expression graph invoked when a variable is to be removed from the graph

input:

exprgraph expression graph
userdata a pointer to user data
var variable that will be removed from the expression graph
varnode expression graph node corresponding to variable

Definition at line 188 of file type_expr.h.

#define SCIP_DECL_EXPRGRAPHVARCHGIDX ( x ) SCIP_RETCODE x (SCIP_EXPRGRAPH* exprgraph, void* userdata, void* var, SCIP_EXPRGRAPHNODE* varnode, int oldidx, int newidx)

callback method of expression graph invoked when a variable changes its index

input:

exprgraph expression graph
userdata a pointer to user data
var variable which will change its index
varnode expression graph node corresponding to variable
oldidx current index of variable
newidx new index the variable will have

Definition at line 200 of file type_expr.h.

#define SCIP_EXPRBOUNDSTATUS_VALID 0x0

bounds are valid, i.e., conform with bounds of children

Definition at line 206 of file type_expr.h.

Referenced by exprgraphCreateNode(), exprgraphNodeUpdateBounds(), exprgraphUpdateVarNodeBounds(), SCIPexprgraphAddNode(), SCIPexprgraphReplaceVarByLinearSum(), and SCIPexprgraphUpdateNodeBoundsCurvature().

#define SCIP_EXPRBOUNDSTATUS_CHILDTIGHTENED 0x1

a child bounds were tightened since last calculation

Definition at line 207 of file type_expr.h.

Referenced by exprgraphNodeUpdateBounds(), exprgraphPrintNodeDot(), exprgraphUpdateVarNodeBounds(), SCIPexprgraphAddNode(), SCIPexprgraphNodeSplitOffLinear(), and SCIPexprgraphUpdateNodeBoundsCurvature().

#define SCIP_EXPRBOUNDSTATUS_CHILDRELAXED 0x2

bounds are not valid and need to be recomputed, because the bounds in a child were relaxed

Definition at line 208 of file type_expr.h.

Referenced by exprgraphNodePropagateBounds(), exprgraphNodeUpdateBounds(), exprgraphPrintNodeDot(), exprgraphUpdateVarNodeBounds(), SCIPexprgraphReplaceVarByLinearSum(), SCIPexprgraphTightenNodeBounds(), and SCIPexprgraphUpdateNodeBoundsCurvature().

#define SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENT 0x4

bounds have been tightened by reverse propagation in a parent, they are valid as long as there has been no relaxation of bounds somewhere in the graph

Definition at line 209 of file type_expr.h.

Referenced by exprgraphNodePropagateBounds(), exprgraphNodeUpdateBounds(), exprgraphPrintNodeDot(), SCIPexprgraphTightenNodeBounds(), and SCIPexprgraphUpdateNodeBoundsCurvature().

#define SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENTRECENT (0x8 | SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENT)

bounds have recently been tightened by reverse propagation in a parent, this tightening has not been propagated further down yet

Definition at line 210 of file type_expr.h.

Referenced by exprgraphNodePropagateBounds(), and SCIPexprgraphTightenNodeBounds().

#define SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENTFORCE (0x10 | SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENTRECENT)

bounds may have recently been tightened by reverse propagation in a parent, in any case we want to propagate bounds further down

Definition at line 211 of file type_expr.h.

Referenced by exprgraphNodePropagateBounds(), and SCIPexprgraphTightenNodeBounds().

Typedef Documentation

typedef enum SCIP_ExprOp SCIP_EXPROP

expression operand

Definition at line 88 of file type_expr.h.

typedef union SCIP_ExprOpData SCIP_EXPROPDATA

expression operand data

Definition at line 89 of file type_expr.h.

typedef struct SCIP_Expr SCIP_EXPR

expression

Definition at line 90 of file type_expr.h.

typedef struct SCIP_ExprTree SCIP_EXPRTREE

expression tree

Definition at line 91 of file type_expr.h.

typedef enum SCIP_ExprCurv SCIP_EXPRCURV

curvature types

Definition at line 92 of file type_expr.h.

typedef struct SCIP_QuadElement SCIP_QUADELEM

element of a quadratic term

Definition at line 105 of file type_expr.h.

typedef struct SCIP_ExprData_Quadratic SCIP_EXPRDATA_QUADRATIC

the data of a quadratic expression (SCIP_EXPR_QUADRATIC)

Definition at line 106 of file type_expr.h.

typedef struct SCIP_ExprData_Monomial SCIP_EXPRDATA_MONOMIAL

a monomial as part of the data in a polynomial expression

Definition at line 108 of file type_expr.h.

typedef struct SCIP_ExprData_Polynomial SCIP_EXPRDATA_POLYNOMIAL

the data of a polynomial expression (SCIP_EXPR_POLYNOMIAL)

Definition at line 109 of file type_expr.h.

typedef struct SCIP_ExprGraphNode SCIP_EXPRGRAPHNODE

node in an expression graph

Definition at line 167 of file type_expr.h.

typedef struct SCIP_ExprGraph SCIP_EXPRGRAPH

an expression graph (DAG)

Definition at line 168 of file type_expr.h.

typedef char SCIP_EXPRBOUNDSTATUS

bitflags that indicate the status of bounds stored in a node of an expression graph

Definition at line 213 of file type_expr.h.

Enumeration Type Documentation

enum SCIP_ExprOp

Operators of expressions.

Enumerator:

SCIP_EXPR_VARIDX	variable given by index (stored in data.idx)
SCIP_EXPR_CONST	constant (value stored in data.dbl)
SCIP_EXPR_PARAM	parameter = a constant that can be modified (should not be simplified away)
SCIP_EXPR_PLUS	addition (2 operands)
SCIP_EXPR_MINUS	substraction (2 operands)
SCIP_EXPR_MUL	multiplication (2 operands)
SCIP_EXPR_DIV	division (2 operands)
SCIP_EXPR_SQUARE	square (1 operand)
SCIP_EXPR_SQRT	square root (1 operand)
SCIP_EXPR_REALPOWER	power with real exponent (1 operand!, assumed to be nonnegative, exponent is stored in expression data)
SCIP_EXPR_INTPOWER	power with integer exponent (1 operand!, exponent stored in expression data)
SCIP_EXPR_SIGNPOWER	signed power (sign(x)\|x\|^a, 1 operand!, exponent is stored in expression data)
SCIP_EXPR_EXP	exponential (e^x, 1 operand)
SCIP_EXPR_LOG	natural logarithm (ln(x), 1 operand)
SCIP_EXPR_SIN	sinus (1 operand)
SCIP_EXPR_COS	cosinus (1 operand)
SCIP_EXPR_TAN	tangent (1 operand)
SCIP_EXPR_MIN	gaussian error function (1 operand) imaginary part of gaussian error function (1 operand) minimum (2 operands)
SCIP_EXPR_MAX	maximum (2 operands)
SCIP_EXPR_ABS	absolute value (1 operand)
SCIP_EXPR_SIGN	sign of value (1 operand)
SCIP_EXPR_SUM	summation sum_{i=1}^n op_i (n operands)
SCIP_EXPR_PRODUCT	product prod_{i=1}^n op_i (n operands)
SCIP_EXPR_LINEAR	linear term sum_{i=1}^n a_i op_i (n operands)
SCIP_EXPR_QUADRATIC	quadratic term sum_{i,j=1}^n a_{i,j} op_i op_j (n operands)
SCIP_EXPR_POLYNOMIAL	polynomial term sum_{I} a_{I}ops^I (I a multiindex, n operands)
SCIP_EXPR_LAST	no expression, used for counting reasons

Definition at line 34 of file type_expr.h.

enum SCIP_ExprCurv

Curvature types

Enumerator:

SCIP_EXPRCURV_UNKNOWN	unknown curvature (or indefinite)
SCIP_EXPRCURV_CONVEX	convex
SCIP_EXPRCURV_CONCAVE	concave
SCIP_EXPRCURV_LINEAR	linear = convex and concave

Definition at line 80 of file type_expr.h.

SCIP

Detailed Description

Macros

Typedefs

Enumerations

Macro Definition Documentation

Typedef Documentation

Enumeration Type Documentation