Detailed Description

methods for expressions, expression trees, expression graphs, and related

Author: Stefan Vigerske; Thorsten Gellermann; Ingmar Vierhaus (exprparse)

Definition in file expr.c.

#include <stdarg.h>
#include <string.h>
#include <math.h>
#include <ctype.h>
#include "nlpi/pub_expr.h"
#include "nlpi/struct_expr.h"
#include "nlpi/exprinterpret.h"
#include "scip/intervalarith.h"
#include "scip/pub_misc.h"
#include "scip/pub_message.h"

Go to the source code of this file.

Macros
#define	SCIP_EXPRESSION_MAXCHILDEST 16

#define	SIGN(x) ((x) >= 0.0 ? 1.0 : -1.0)

#define	ensureBlockMemoryArraySize(blkmem, array1, cursize, minsize)

#define	ensureBlockMemoryArraySize3(blkmem, array1, array2, array3, cursize, minsize)

Functions
Miscellaneous private methods
static int	calcGrowSize (int num)

static	SCIP_DECL_SORTPTRCOMP (ptrcomp)

static SCIP_Bool	isLbBetter (SCIP_Real minstrength, SCIP_Real newlb, SCIP_Real oldlb, SCIP_Real oldub)

static SCIP_Bool	isUbBetter (SCIP_Real minstrength, SCIP_Real newub, SCIP_Real oldlb, SCIP_Real oldub)

Quadratic expression data private methods
static SCIP_RETCODE	quadraticdataCreate (BMS_BLKMEM blkmem, SCIP_EXPRDATA_QUADRATIC quadraticdata, SCIP_Real constant, int nchildren, SCIP_Real lincoefs, int nquadelems, SCIP_QUADELEM *quadelems)

static void	quadraticdataSort (SCIP_EXPRDATA_QUADRATIC *quadraticdata)

Polynomial expression data private methods
static	SCIP_DECL_SORTPTRCOMP (monomialdataCompare)

static SCIP_RETCODE	monomialdataEnsureFactorsSize (BMS_BLKMEM blkmem, SCIP_EXPRDATA_MONOMIAL monomialdata, int minsize)

static SCIP_RETCODE	polynomialdataCreate (BMS_BLKMEM blkmem, SCIP_EXPRDATA_POLYNOMIAL polynomialdata, int nmonomials, SCIP_EXPRDATA_MONOMIAL *monomials, SCIP_Real constant, SCIP_Bool copymonomials)

static SCIP_RETCODE	polynomialdataCopy (BMS_BLKMEM blkmem, SCIP_EXPRDATA_POLYNOMIAL polynomialdata, SCIP_EXPRDATA_POLYNOMIAL sourcepolynomialdata)

static void	polynomialdataFree (BMS_BLKMEM blkmem, SCIP_EXPRDATA_POLYNOMIAL *polynomialdata)

static SCIP_RETCODE	polynomialdataEnsureMonomialsSize (BMS_BLKMEM blkmem, SCIP_EXPRDATA_POLYNOMIAL polynomialdata, int minsize)

static SCIP_RETCODE	polynomialdataAddMonomials (BMS_BLKMEM blkmem, SCIP_EXPRDATA_POLYNOMIAL polynomialdata, int nmonomials, SCIP_EXPRDATA_MONOMIAL **monomials, SCIP_Bool copymonomials)

static void	polynomialdataSortMonomials (SCIP_EXPRDATA_POLYNOMIAL *polynomialdata)

static void	polynomialdataMergeMonomials (BMS_BLKMEM blkmem, SCIP_EXPRDATA_POLYNOMIAL polynomialdata, SCIP_Real eps, SCIP_Bool mergefactors)

static void	polynomialdataMultiplyByConstant (BMS_BLKMEM blkmem, SCIP_EXPRDATA_POLYNOMIAL polynomialdata, SCIP_Real factor)

static SCIP_RETCODE	polynomialdataMultiplyByMonomial (BMS_BLKMEM blkmem, SCIP_EXPRDATA_POLYNOMIAL polynomialdata, SCIP_EXPRDATA_MONOMIAL factor, int childmap)

static SCIP_RETCODE	polynomialdataMultiplyByPolynomial (BMS_BLKMEM blkmem, SCIP_EXPRDATA_POLYNOMIAL polynomialdata, SCIP_EXPRDATA_POLYNOMIAL factordata, int childmap)

static SCIP_RETCODE	polynomialdataPower (BMS_BLKMEM blkmem, SCIP_EXPRDATA_POLYNOMIAL polynomialdata, int exponent)

static void	polynomialdataApplyChildmap (SCIP_EXPRDATA_POLYNOMIAL polynomialdata, int childmap)

static SCIP_RETCODE	polynomialdataExpandMonomialFactor (BMS_BLKMEM blkmem, SCIP_MESSAGEHDLR messagehdlr, SCIP_EXPRDATA_POLYNOMIAL polynomialdata, int monomialpos, int factorpos, SCIP_EXPRDATA_POLYNOMIAL factorpolynomial, int childmap, int maxexpansionexponent, SCIP_Bool success)

Expression operand methods
const char *	SCIPexpropGetName (SCIP_EXPROP op)

int	SCIPexpropGetNChildren (SCIP_EXPROP op)

Expressions private methods
static SCIP_RETCODE	exprCreate (BMS_BLKMEM blkmem, SCIP_EXPR expr, SCIP_EXPROP op, int nchildren, SCIP_EXPR *children, SCIP_EXPROPDATA opdata)

static SCIP_RETCODE	exprConvertToPolynomial (BMS_BLKMEM blkmem, SCIP_EXPROP op, SCIP_EXPROPDATA *data, int nchildren)

static SCIP_RETCODE	exprUnconvertPolynomial (BMS_BLKMEM blkmem, SCIP_EXPROP op, SCIP_EXPROPDATA data, int nchildren, void *children)

static SCIP_RETCODE	exprsimplifyAddChildren (BMS_BLKMEM blkmem, SCIP_EXPR expr, int nexprs, SCIP_EXPR *exprs, SCIP_Bool comparechildren, SCIP_Real eps, int childmap)

static SCIP_RETCODE	exprsimplifyConvertToPolynomials (BMS_BLKMEM blkmem, SCIP_EXPR expr)

static SCIP_RETCODE	exprsimplifyRemoveDuplicatePolynomialChildren (BMS_BLKMEM blkmem, SCIP_EXPR expr, SCIP_Real eps)

static SCIP_RETCODE	exprsimplifyRemovePolynomialNullChildren (BMS_BLKMEM blkmem, SCIP_EXPR expr)

static SCIP_RETCODE	exprsimplifyRemovePolynomialUnusedChildren (BMS_BLKMEM blkmem, SCIP_EXPR expr)

static SCIP_RETCODE	exprsimplifyFlattenPolynomials (BMS_BLKMEM blkmem, SCIP_MESSAGEHDLR messagehdlr, SCIP_EXPR *expr, SCIP_Real eps, int maxexpansionexponent)

static SCIP_RETCODE	exprsimplifySeparateLinearFromPolynomial (BMS_BLKMEM blkmem, SCIP_EXPR expr, SCIP_Real eps, int nvars, int nlinvars, int linidxs, SCIP_Real *lincoefs)

static SCIP_RETCODE	exprsimplifyUnconvertPolynomials (BMS_BLKMEM blkmem, SCIP_EXPR expr)

static	SCIP_DECL_HASHGETKEY (exprparseVarTableGetKey)

static SCIP_RETCODE	exprparseReadVariable (BMS_BLKMEM blkmem, const char str, SCIP_EXPR expr, int nvars, int *varnames, SCIP_HASHTABLE vartable, SCIP_Real coefficient, const char *varnameendptr)

static SCIP_RETCODE	exprparseFindClosingParenthesis (const char str, const char *endptr, int length)

static SCIP_RETCODE	exprparseFindSeparatingComma (const char str, const char *endptr, int length)

static SCIP_RETCODE	exprParse (BMS_BLKMEM blkmem, SCIP_MESSAGEHDLR messagehdlr, SCIP_EXPR *expr, const char str, int length, const char lastchar, int nvars, int *varnames, SCIP_HASHTABLE vartable, int recursiondepth)

Expression methods
SCIP_EXPROP	SCIPexprGetOperator (SCIP_EXPR *expr)

int	SCIPexprGetNChildren (SCIP_EXPR *expr)

SCIP_EXPR **	SCIPexprGetChildren (SCIP_EXPR *expr)

int	SCIPexprGetOpIndex (SCIP_EXPR *expr)

SCIP_Real	SCIPexprGetOpReal (SCIP_EXPR *expr)

void *	SCIPexprGetOpData (SCIP_EXPR *expr)

SCIP_Real	SCIPexprGetRealPowerExponent (SCIP_EXPR *expr)

int	SCIPexprGetIntPowerExponent (SCIP_EXPR *expr)

SCIP_Real	SCIPexprGetSignPowerExponent (SCIP_EXPR *expr)

SCIP_Real *	SCIPexprGetLinearCoefs (SCIP_EXPR *expr)

SCIP_Real	SCIPexprGetLinearConstant (SCIP_EXPR *expr)

SCIP_QUADELEM *	SCIPexprGetQuadElements (SCIP_EXPR *expr)

SCIP_Real	SCIPexprGetQuadConstant (SCIP_EXPR *expr)

SCIP_Real *	SCIPexprGetQuadLinearCoefs (SCIP_EXPR *expr)

int	SCIPexprGetNQuadElements (SCIP_EXPR *expr)

SCIP_EXPRDATA_MONOMIAL **	SCIPexprGetMonomials (SCIP_EXPR *expr)

int	SCIPexprGetNMonomials (SCIP_EXPR *expr)

SCIP_Real	SCIPexprGetPolynomialConstant (SCIP_EXPR *expr)

SCIP_Real	SCIPexprGetMonomialCoef (SCIP_EXPRDATA_MONOMIAL *monomial)

int	SCIPexprGetMonomialNFactors (SCIP_EXPRDATA_MONOMIAL *monomial)

int *	SCIPexprGetMonomialChildIndices (SCIP_EXPRDATA_MONOMIAL *monomial)

SCIP_Real *	SCIPexprGetMonomialExponents (SCIP_EXPRDATA_MONOMIAL *monomial)

SCIP_USEREXPRDATA *	SCIPexprGetUserData (SCIP_EXPR *expr)

SCIP_Bool	SCIPexprHasUserEstimator (SCIP_EXPR *expr)

SCIP_EXPRINTCAPABILITY	SCIPexprGetUserEvalCapability (SCIP_EXPR *expr)

SCIP_RETCODE	SCIPexprCreate (BMS_BLKMEM blkmem, SCIP_EXPR *expr, SCIP_EXPROP op,...)

SCIP_RETCODE	SCIPexprCopyDeep (BMS_BLKMEM blkmem, SCIP_EXPR targetexpr, SCIP_EXPR sourceexpr)

void	SCIPexprFreeDeep (BMS_BLKMEM blkmem, SCIP_EXPR *expr)

void	SCIPexprFreeShallow (BMS_BLKMEM blkmem, SCIP_EXPR *expr)

SCIP_RETCODE	SCIPexprAdd (BMS_BLKMEM blkmem, SCIP_EXPR expr, SCIP_Real coef1, SCIP_EXPR term1, SCIP_Real coef2, SCIP_EXPR *term2, SCIP_Real constant)

SCIP_RETCODE	SCIPexprMulConstant (BMS_BLKMEM blkmem, SCIP_EXPR expr, SCIP_EXPR term, SCIP_Real factor)

SCIP_RETCODE	SCIPexprCreateLinear (BMS_BLKMEM blkmem, SCIP_EXPR expr, int nchildren, SCIP_EXPR children, SCIP_Real coefs, SCIP_Real constant)

SCIP_RETCODE	SCIPexprAddToLinear (BMS_BLKMEM blkmem, SCIP_EXPR expr, int nchildren, SCIP_Real coefs, SCIP_EXPR *children, SCIP_Real constant)

SCIP_RETCODE	SCIPexprCreateQuadratic (BMS_BLKMEM blkmem, SCIP_EXPR expr, int nchildren, SCIP_EXPR children, SCIP_Real constant, SCIP_Real lincoefs, int nquadelems, SCIP_QUADELEM *quadelems)

void	SCIPexprSortQuadElems (SCIP_EXPR *expr)

SCIP_RETCODE	SCIPexprCreatePolynomial (BMS_BLKMEM blkmem, SCIP_EXPR expr, int nchildren, SCIP_EXPR children, int nmonomials, SCIP_EXPRDATA_MONOMIAL *monomials, SCIP_Real constant, SCIP_Bool copymonomials)

SCIP_RETCODE	SCIPexprAddMonomials (BMS_BLKMEM blkmem, SCIP_EXPR expr, int nmonomials, SCIP_EXPRDATA_MONOMIAL **monomials, SCIP_Bool copymonomials)

void	SCIPexprChgPolynomialConstant (SCIP_EXPR *expr, SCIP_Real constant)

void	SCIPexprMultiplyPolynomialByConstant (BMS_BLKMEM blkmem, SCIP_EXPR expr, SCIP_Real factor)

SCIP_RETCODE	SCIPexprMultiplyPolynomialByMonomial (BMS_BLKMEM blkmem, SCIP_EXPR expr, SCIP_EXPRDATA_MONOMIAL factor, int childmap)

SCIP_RETCODE	SCIPexprMultiplyPolynomialByPolynomial (BMS_BLKMEM blkmem, SCIP_EXPR expr, SCIP_EXPR factor, int childmap)

SCIP_RETCODE	SCIPexprPolynomialPower (BMS_BLKMEM blkmem, SCIP_EXPR expr, int exponent)

void	SCIPexprMergeMonomials (BMS_BLKMEM blkmem, SCIP_EXPR expr, SCIP_Real eps, SCIP_Bool mergefactors)

SCIP_Bool	SCIPexprAreMonomialsEqual (SCIP_EXPRDATA_MONOMIAL monomial1, SCIP_EXPRDATA_MONOMIAL monomial2, SCIP_Real eps)

void	SCIPexprChgMonomialCoef (SCIP_EXPRDATA_MONOMIAL *monomial, SCIP_Real newcoef)

SCIP_RETCODE	SCIPexprAddMonomialFactors (BMS_BLKMEM blkmem, SCIP_EXPRDATA_MONOMIAL monomial, int nfactors, int childidxs, SCIP_Real exponents)

SCIP_RETCODE	SCIPexprMultiplyMonomialByMonomial (BMS_BLKMEM blkmem, SCIP_EXPRDATA_MONOMIAL monomial, SCIP_EXPRDATA_MONOMIAL factor, int childmap)

void	SCIPexprMonomialPower (SCIP_EXPRDATA_MONOMIAL *monomial, int exponent)

void	SCIPexprMergeMonomialFactors (SCIP_EXPRDATA_MONOMIAL *monomial, SCIP_Real eps)

void	SCIPexprSortMonomials (SCIP_EXPR *expr)

SCIP_RETCODE	SCIPexprCreateMonomial (BMS_BLKMEM blkmem, SCIP_EXPRDATA_MONOMIAL monomial, SCIP_Real coef, int nfactors, int childidxs, SCIP_Real *exponents)

void	SCIPexprFreeMonomial (BMS_BLKMEM blkmem, SCIP_EXPRDATA_MONOMIAL *monomial)

void	SCIPexprSortMonomialFactors (SCIP_EXPRDATA_MONOMIAL *monomial)

SCIP_Bool	SCIPexprFindMonomialFactor (SCIP_EXPRDATA_MONOMIAL monomial, int childidx, int pos)

SCIP_RETCODE	SCIPexprCreateUser (BMS_BLKMEM blkmem, SCIP_EXPR expr, int nchildren, SCIP_EXPR children, SCIP_USEREXPRDATA data, SCIP_EXPRINTCAPABILITY evalcapability, SCIP_DECL_USEREXPREVAL((eval)), SCIP_DECL_USEREXPRINTEVAL((inteval)), SCIP_DECL_USEREXPRCURV((curv)), SCIP_DECL_USEREXPRPROP((prop)), SCIP_DECL_USEREXPRESTIMATE((estimate)), SCIP_DECL_USEREXPRCOPYDATA((copydata)), SCIP_DECL_USEREXPRFREEDATA((*freedata)))

SCIP_Bool	SCIPexprHasParam (SCIP_EXPR *expr)

SCIP_RETCODE	SCIPexprGetMaxDegree (SCIP_EXPR expr, int maxdegree)

void	SCIPexprGetVarsUsage (SCIP_EXPR expr, int varsusage)

SCIP_Bool	SCIPexprAreEqual (SCIP_EXPR expr1, SCIP_EXPR expr2, SCIP_Real eps)

SCIP_RETCODE	SCIPexprSimplify (BMS_BLKMEM blkmem, SCIP_MESSAGEHDLR messagehdlr, SCIP_EXPR expr, SCIP_Real eps, int maxexpansionexponent, int nvars, int nlinvars, int linidxs, SCIP_Real lincoefs)

SCIP_RETCODE	SCIPexprEvalShallow (SCIP_EXPR expr, SCIP_Real argvals, SCIP_Real varvals, SCIP_Real param, SCIP_Real *val)

SCIP_RETCODE	SCIPexprEval (SCIP_EXPR expr, SCIP_Real varvals, SCIP_Real param, SCIP_Real val)

SCIP_RETCODE	SCIPexprEvalIntShallow (SCIP_EXPR expr, SCIP_Real infinity, SCIP_INTERVAL argvals, SCIP_INTERVAL varvals, SCIP_Real param, SCIP_INTERVAL *val)

SCIP_RETCODE	SCIPexprEvalInt (SCIP_EXPR expr, SCIP_Real infinity, SCIP_INTERVAL varvals, SCIP_Real param, SCIP_INTERVAL val)

SCIP_RETCODE	SCIPexprEvalUser (SCIP_EXPR expr, SCIP_Real argvals, SCIP_Real val, SCIP_Real gradient, SCIP_Real *hessian)

SCIP_RETCODE	SCIPexprEvalIntUser (SCIP_EXPR expr, SCIP_Real infinity, SCIP_INTERVAL argvals, SCIP_INTERVAL val, SCIP_INTERVAL gradient, SCIP_INTERVAL *hessian)

SCIP_RETCODE	SCIPexprCheckCurvature (SCIP_EXPR expr, SCIP_Real infinity, SCIP_INTERVAL varbounds, SCIP_Real param, SCIP_EXPRCURV curv, SCIP_INTERVAL *bounds)

SCIP_RETCODE	SCIPexprEstimateUser (SCIP_EXPR expr, SCIP_Real infinity, SCIP_Real argvals, SCIP_INTERVAL argbounds, SCIP_Bool overestimate, SCIP_Real coeffs, SCIP_Real constant, SCIP_Bool success)

SCIP_RETCODE	SCIPexprSubstituteVars (BMS_BLKMEM blkmem, SCIP_EXPR expr, SCIP_EXPR **substexprs)

void	SCIPexprReindexVars (SCIP_EXPR expr, int newindices)

void	SCIPexprReindexParams (SCIP_EXPR expr, int newindices)

void	SCIPexprPrint (SCIP_EXPR expr, SCIP_MESSAGEHDLR messagehdlr, FILE file, const char varnames, const char paramnames, SCIP_Real paramvals)

SCIP_RETCODE	SCIPexprParse (BMS_BLKMEM blkmem, SCIP_MESSAGEHDLR messagehdlr, SCIP_EXPR *expr, const char str, const char lastchar, int nvars, int *varnames)

Expression tree methods
SCIP_EXPR *	SCIPexprtreeGetRoot (SCIP_EXPRTREE *tree)

int	SCIPexprtreeGetNVars (SCIP_EXPRTREE *tree)

int	SCIPexprtreeGetNParams (SCIP_EXPRTREE *tree)

SCIP_Real *	SCIPexprtreeGetParamVals (SCIP_EXPRTREE *tree)

void	SCIPexprtreeSetParamVal (SCIP_EXPRTREE *tree, int paramidx, SCIP_Real paramval)

SCIP_EXPRINTDATA *	SCIPexprtreeGetInterpreterData (SCIP_EXPRTREE *tree)

void	SCIPexprtreeSetInterpreterData (SCIP_EXPRTREE tree, SCIP_EXPRINTDATA interpreterdata)

SCIP_RETCODE	SCIPexprtreeFreeInterpreterData (SCIP_EXPRTREE *tree)

SCIP_Bool	SCIPexprtreeHasParam (SCIP_EXPRTREE *tree)

SCIP_RETCODE	SCIPexprtreeGetMaxDegree (SCIP_EXPRTREE tree, int maxdegree)

SCIP_RETCODE	SCIPexprtreeEval (SCIP_EXPRTREE tree, SCIP_Real varvals, SCIP_Real *val)

SCIP_RETCODE	SCIPexprtreeEvalInt (SCIP_EXPRTREE tree, SCIP_Real infinity, SCIP_INTERVAL varvals, SCIP_INTERVAL *val)

void	SCIPexprtreePrint (SCIP_EXPRTREE tree, SCIP_MESSAGEHDLR messagehdlr, FILE file, const char varnames, const char *paramnames)

SCIP_RETCODE	SCIPexprtreeCreate (BMS_BLKMEM blkmem, SCIP_EXPRTREE tree, SCIP_EXPR root, int nvars, int nparams, SCIP_Real *params)

SCIP_RETCODE	SCIPexprtreeCopy (BMS_BLKMEM blkmem, SCIP_EXPRTREE targettree, SCIP_EXPRTREE sourcetree)

SCIP_RETCODE	SCIPexprtreeFree (SCIP_EXPRTREE **tree)

SCIP_RETCODE	SCIPexprtreeSetParams (SCIP_EXPRTREE tree, int nparams, SCIP_Real paramvals)

void	SCIPexprtreeGetVarsUsage (SCIP_EXPRTREE tree, int varsusage)

SCIP_RETCODE	SCIPexprtreeSimplify (SCIP_EXPRTREE tree, SCIP_MESSAGEHDLR messagehdlr, SCIP_Real eps, int maxexpansionexponent, int nlinvars, int linidxs, SCIP_Real *lincoefs)

SCIP_RETCODE	SCIPexprtreeAddExpr (SCIP_EXPRTREE tree, SCIP_EXPR expr, SCIP_Bool copyexpr)

SCIP_RETCODE	SCIPexprtreeCheckCurvature (SCIP_EXPRTREE tree, SCIP_Real infinity, SCIP_INTERVAL varbounds, SCIP_EXPRCURV curv, SCIP_INTERVAL bounds)

SCIP_RETCODE	SCIPexprtreeSubstituteVars (SCIP_EXPRTREE tree, SCIP_EXPR *substexprs)

Expression graph node private methods
static SCIP_RETCODE	exprgraphNodeAddParent (BMS_BLKMEM blkmem, SCIP_EXPRGRAPHNODE node, SCIP_EXPRGRAPHNODE *parent)

static void	exprgraphNodeSortParents (SCIP_EXPRGRAPHNODE *node)

static SCIP_RETCODE	exprgraphNodeRemoveParent (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node, SCIP_EXPRGRAPHNODE parent)

static SCIP_Bool	exprgraphNodeIsParent (SCIP_EXPRGRAPHNODE node, SCIP_EXPRGRAPHNODE parent)

static SCIP_RETCODE	exprgraphNodeAddChildren (BMS_BLKMEM blkmem, SCIP_EXPRGRAPHNODE node, int nexprs, SCIP_EXPRGRAPHNODE *exprs, int childmap)

static SCIP_RETCODE	exprgraphNodeReplaceChild (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node, SCIP_EXPRGRAPHNODE *oldchild, SCIP_EXPRGRAPHNODE newchild)

static	SCIP_DECL_SORTPTRCOMP (exprgraphConstNodeComp)

static void	exprgraphSortConstNodes (SCIP_EXPRGRAPH *exprgraph)

static SCIP_Bool	exprgraphFindConstNodePos (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node, int *pos)

static SCIP_RETCODE	exprgraphCreateNode (BMS_BLKMEM blkmem, SCIP_EXPRGRAPHNODE *node, SCIP_EXPROP op, SCIP_EXPROPDATA opdata)

static void	exprgraphPrintNodeExpression (SCIP_EXPRGRAPHNODE node, SCIP_MESSAGEHDLR messagehdlr, FILE file, const char *varnames, SCIP_Bool printchildrenbounds)

static void	exprgraphPrintNodeDot (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node, SCIP_MESSAGEHDLR messagehdlr, FILE file, const char **varnames)

static SCIP_RETCODE	exprgraphNodeEval (SCIP_EXPRGRAPHNODE node, SCIP_Real varvals)

static SCIP_RETCODE	exprgraphNodeEvalWithChildren (SCIP_EXPRGRAPHNODE node, SCIP_Real varvals)

static SCIP_RETCODE	exprgraphNodeUpdateBounds (SCIP_EXPRGRAPHNODE *node, SCIP_Real infinity, SCIP_Real minstrength, SCIP_Bool parenttightenisinvalid)

static void	exprgraphNodePropagateBounds (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node, SCIP_Real infinity, SCIP_Real minstrength, SCIP_Bool *cutoff)

static SCIP_RETCODE	exprgraphNodeRemovePolynomialDuplicateChildren (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node)

static SCIP_RETCODE	exprgraphNodeRemovePolynomialNullChildren (BMS_BLKMEM blkmem, SCIP_EXPRGRAPHNODE node)

static SCIP_RETCODE	exprgraphNodeSimplify (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node, SCIP_MESSAGEHDLR messagehdlr, SCIP_Real eps, int maxexpansionexponent, SCIP_Bool havechange)

static SCIP_RETCODE	exprgraphNodeCreateExpr (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node, SCIP_EXPR *expr, int nexprvars, int *varidx)

static void	exprgraphNodeGetVarsUsage (SCIP_EXPRGRAPHNODE node, int varsusage)

static void	exprgraphNodeCheckSeparabilityComponent (SCIP_EXPRGRAPHNODE node, int compnr, int nchildcomps, int childcomps, int nvars, int varcomps)

Expression graph private methods
static SCIP_RETCODE	exprgraphEnsureDepth (SCIP_EXPRGRAPH *exprgraph, int mindepth)

static SCIP_RETCODE	exprgraphRemoveVar (SCIP_EXPRGRAPH *exprgraph, int varidx)

static SCIP_RETCODE	exprgraphMoveNode (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node, int newdepth)

static SCIP_RETCODE	exprgraphFindParentByOperator (SCIP_EXPRGRAPH exprgraph, int nchildren, SCIP_EXPRGRAPHNODE children, SCIP_EXPROP op, SCIP_EXPROPDATA opdata, SCIP_EXPR exprchildren, SCIP_EXPRGRAPHNODE *parent)

static SCIP_RETCODE	exprgraphAddExpr (SCIP_EXPRGRAPH exprgraph, SCIP_EXPR expr, void *vars, SCIP_Real params, SCIP_EXPRGRAPHNODE *exprnode, SCIP_Bool exprnodeisnew)

static void	exprgraphUpdateVarNodeBounds (SCIP_EXPRGRAPH exprgraph, SCIP_Bool clearreverseprop, SCIP_Bool *boundchanged)

Expression graph node methods
void	SCIPexprgraphCaptureNode (SCIP_EXPRGRAPHNODE *node)

SCIP_Bool	SCIPexprgraphIsNodeEnabled (SCIP_EXPRGRAPHNODE *node)

int	SCIPexprgraphGetNodeNChildren (SCIP_EXPRGRAPHNODE *node)

SCIP_EXPRGRAPHNODE **	SCIPexprgraphGetNodeChildren (SCIP_EXPRGRAPHNODE *node)

int	SCIPexprgraphGetNodeNParents (SCIP_EXPRGRAPHNODE *node)

SCIP_EXPRGRAPHNODE **	SCIPexprgraphGetNodeParents (SCIP_EXPRGRAPHNODE *node)

int	SCIPexprgraphGetNodeDepth (SCIP_EXPRGRAPHNODE *node)

int	SCIPexprgraphGetNodePosition (SCIP_EXPRGRAPHNODE *node)

SCIP_EXPROP	SCIPexprgraphGetNodeOperator (SCIP_EXPRGRAPHNODE *node)

int	SCIPexprgraphGetNodeOperatorIndex (SCIP_EXPRGRAPHNODE *node)

SCIP_Real	SCIPexprgraphGetNodeOperatorReal (SCIP_EXPRGRAPHNODE *node)

void *	SCIPexprgraphGetNodeVar (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node)

SCIP_Real	SCIPexprgraphGetNodeRealPowerExponent (SCIP_EXPRGRAPHNODE *node)

int	SCIPexprgraphGetNodeIntPowerExponent (SCIP_EXPRGRAPHNODE *node)

SCIP_Real	SCIPexprgraphGetNodeSignPowerExponent (SCIP_EXPRGRAPHNODE *node)

SCIP_Real *	SCIPexprgraphGetNodeLinearCoefs (SCIP_EXPRGRAPHNODE *node)

SCIP_Real	SCIPexprgraphGetNodeLinearConstant (SCIP_EXPRGRAPHNODE *node)

SCIP_Real	SCIPexprgraphGetNodeQuadraticConstant (SCIP_EXPRGRAPHNODE *node)

SCIP_Real *	SCIPexprgraphGetNodeQuadraticLinearCoefs (SCIP_EXPRGRAPHNODE *node)

SCIP_QUADELEM *	SCIPexprgraphGetNodeQuadraticQuadElements (SCIP_EXPRGRAPHNODE *node)

int	SCIPexprgraphGetNodeQuadraticNQuadElements (SCIP_EXPRGRAPHNODE *node)

SCIP_EXPRDATA_MONOMIAL **	SCIPexprgraphGetNodePolynomialMonomials (SCIP_EXPRGRAPHNODE *node)

int	SCIPexprgraphGetNodePolynomialNMonomials (SCIP_EXPRGRAPHNODE *node)

SCIP_Real	SCIPexprgraphGetNodePolynomialConstant (SCIP_EXPRGRAPHNODE *node)

SCIP_RETCODE	SCIPexprgraphGetNodePolynomialMonomialCurvature (SCIP_EXPRGRAPHNODE node, int monomialidx, SCIP_Real infinity, SCIP_EXPRCURV curv)

SCIP_USEREXPRDATA *	SCIPexprgraphGetNodeUserData (SCIP_EXPRGRAPHNODE *node)

SCIP_Bool	SCIPexprgraphHasNodeUserEstimator (SCIP_EXPRGRAPHNODE *node)

SCIP_INTERVAL	SCIPexprgraphGetNodeBounds (SCIP_EXPRGRAPHNODE *node)

SCIP_Real	SCIPexprgraphGetNodeVal (SCIP_EXPRGRAPHNODE *node)

SCIP_EXPRCURV	SCIPexprgraphGetNodeCurvature (SCIP_EXPRGRAPHNODE *node)

SCIP_RETCODE	SCIPexprgraphCreateNode (BMS_BLKMEM blkmem, SCIP_EXPRGRAPHNODE *node, SCIP_EXPROP op,...)

SCIP_RETCODE	SCIPexprgraphCreateNodeLinear (BMS_BLKMEM blkmem, SCIP_EXPRGRAPHNODE node, int ncoefs, SCIP_Real coefs, SCIP_Real constant)

SCIP_RETCODE	SCIPexprgraphCreateNodeQuadratic (BMS_BLKMEM blkmem, SCIP_EXPRGRAPHNODE node, int nchildren, SCIP_Real lincoefs, int nquadelems, SCIP_QUADELEM *quadelems, SCIP_Real constant)

SCIP_RETCODE	SCIPexprgraphCreateNodePolynomial (BMS_BLKMEM blkmem, SCIP_EXPRGRAPHNODE node, int nmonomials, SCIP_EXPRDATA_MONOMIAL *monomials, SCIP_Real constant, SCIP_Bool copymonomials)

SCIP_RETCODE	SCIPexprgraphNodePolynomialAddMonomials (BMS_BLKMEM blkmem, SCIP_EXPRGRAPHNODE node, int nmonomials, SCIP_EXPRDATA_MONOMIAL **monomials, SCIP_Bool copymonomials)

SCIP_RETCODE	SCIPexprgraphCreateNodeUser (BMS_BLKMEM blkmem, SCIP_EXPRGRAPHNODE node, SCIP_USEREXPRDATA data, SCIP_EXPRINTCAPABILITY evalcapability, SCIP_DECL_USEREXPREVAL((eval)), SCIP_DECL_USEREXPRINTEVAL((inteval)), SCIP_DECL_USEREXPRCURV((curv)), SCIP_DECL_USEREXPRPROP((prop)), SCIP_DECL_USEREXPRESTIMATE((estimate)), SCIP_DECL_USEREXPRCOPYDATA((copydata)), SCIP_DECL_USEREXPRFREEDATA((*freedata)))

SCIP_RETCODE	SCIPexprgraphNodeSplitOffLinear (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node, int linvarssize, int nlinvars, void *linvars, SCIP_Real lincoefs, SCIP_Real *constant)

SCIP_RETCODE	SCIPexprgraphMoveNodeParents (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE srcnode, SCIP_EXPRGRAPHNODE targetnode)

SCIP_RETCODE	SCIPexprgraphReleaseNode (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE *node)

void	SCIPexprgraphFreeNode (BMS_BLKMEM blkmem, SCIP_EXPRGRAPHNODE *node)

void	SCIPexprgraphEnableNode (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node)

void	SCIPexprgraphDisableNode (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node)

SCIP_Bool	SCIPexprgraphHasNodeSibling (SCIP_EXPRGRAPHNODE *node)

SCIP_Bool	SCIPexprgraphAreAllNodeChildrenVars (SCIP_EXPRGRAPHNODE *node)

SCIP_Bool	SCIPexprgraphHasNodeNonlinearAncestor (SCIP_EXPRGRAPHNODE *node)

void	SCIPexprgraphPrintNode (SCIP_EXPRGRAPHNODE node, SCIP_MESSAGEHDLR messagehdlr, FILE *file)

void	SCIPexprgraphTightenNodeBounds (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node, SCIP_INTERVAL nodebounds, SCIP_Real minstrength, SCIP_Real infinity, SCIP_Bool *cutoff)

SCIP_RETCODE	SCIPexprgraphUpdateNodeBoundsCurvature (SCIP_EXPRGRAPHNODE *node, SCIP_Real infinity, SCIP_Real minstrength, SCIP_Bool clearreverseprop)

Expression graph methods
int	SCIPexprgraphGetDepth (SCIP_EXPRGRAPH *exprgraph)

int *	SCIPexprgraphGetNNodes (SCIP_EXPRGRAPH *exprgraph)

SCIP_EXPRGRAPHNODE ***	SCIPexprgraphGetNodes (SCIP_EXPRGRAPH *exprgraph)

int	SCIPexprgraphGetNVars (SCIP_EXPRGRAPH *exprgraph)

void **	SCIPexprgraphGetVars (SCIP_EXPRGRAPH *exprgraph)

SCIP_EXPRGRAPHNODE **	SCIPexprgraphGetVarNodes (SCIP_EXPRGRAPH *exprgraph)

void	SCIPexprgraphSetVarNodeValue (SCIP_EXPRGRAPHNODE *varnode, SCIP_Real value)

void	SCIPexprgraphSetVarsBounds (SCIP_EXPRGRAPH exprgraph, SCIP_INTERVAL varbounds)

void	SCIPexprgraphSetVarBounds (SCIP_EXPRGRAPH exprgraph, void var, SCIP_INTERVAL varbounds)

void	SCIPexprgraphSetVarNodeBounds (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE varnode, SCIP_INTERVAL varbounds)

void	SCIPexprgraphSetVarNodeLb (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE varnode, SCIP_Real lb)

void	SCIPexprgraphSetVarNodeUb (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE varnode, SCIP_Real ub)

SCIP_INTERVAL *	SCIPexprgraphGetVarsBounds (SCIP_EXPRGRAPH *exprgraph)

SCIP_RETCODE	SCIPexprgraphCreate (BMS_BLKMEM blkmem, SCIP_EXPRGRAPH exprgraph, int varssizeinit, int depthinit, SCIP_DECL_EXPRGRAPHVARADDED((exprgraphvaradded)), SCIP_DECL_EXPRGRAPHVARREMOVE((exprgraphvarremove)), SCIP_DECL_EXPRGRAPHVARCHGIDX((exprgraphvarchgidx)), void *userdata)

SCIP_RETCODE	SCIPexprgraphFree (SCIP_EXPRGRAPH **exprgraph)

SCIP_RETCODE	SCIPexprgraphAddNode (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node, int mindepth, int nchildren, SCIP_EXPRGRAPHNODE **children)

SCIP_RETCODE	SCIPexprgraphAddVars (SCIP_EXPRGRAPH exprgraph, int nvars, void vars, SCIP_EXPRGRAPHNODE *varnodes)

SCIP_RETCODE	SCIPexprgraphAddConst (SCIP_EXPRGRAPH exprgraph, SCIP_Real constant, SCIP_EXPRGRAPHNODE *constnode)

SCIP_RETCODE	SCIPexprgraphAddExprtreeSum (SCIP_EXPRGRAPH exprgraph, int nexprtrees, SCIP_EXPRTREE exprtrees, SCIP_Real coefs, SCIP_EXPRGRAPHNODE *rootnode, SCIP_Bool rootnodeisnew)

SCIP_RETCODE	SCIPexprgraphReplaceVarByLinearSum (SCIP_EXPRGRAPH exprgraph, void var, int ncoefs, SCIP_Real coefs, void *vars, SCIP_Real constant)

SCIP_Bool	SCIPexprgraphFindVarNode (SCIP_EXPRGRAPH exprgraph, void var, SCIP_EXPRGRAPHNODE **varnode)

SCIP_Bool	SCIPexprgraphFindConstNode (SCIP_EXPRGRAPH exprgraph, SCIP_Real constant, SCIP_EXPRGRAPHNODE *constnode)

SCIP_RETCODE	SCIPexprgraphPrintDot (SCIP_EXPRGRAPH exprgraph, SCIP_MESSAGEHDLR messagehdlr, FILE file, const char *varnames)

SCIP_RETCODE	SCIPexprgraphEval (SCIP_EXPRGRAPH exprgraph, SCIP_Real varvals)

SCIP_RETCODE	SCIPexprgraphPropagateVarBounds (SCIP_EXPRGRAPH exprgraph, SCIP_Real infinity, SCIP_Bool clearreverseprop, SCIP_Bool domainerror)

void	SCIPexprgraphPropagateNodeBounds (SCIP_EXPRGRAPH exprgraph, SCIP_Real infinity, SCIP_Real minstrength, SCIP_Bool cutoff)

SCIP_RETCODE	SCIPexprgraphCheckCurvature (SCIP_EXPRGRAPH *exprgraph, SCIP_Real infinity, SCIP_Bool clearreverseprop)

SCIP_RETCODE	SCIPexprgraphSimplify (SCIP_EXPRGRAPH exprgraph, SCIP_MESSAGEHDLR messagehdlr, SCIP_Real eps, int maxexpansionexponent, SCIP_Bool havechange, SCIP_Bool domainerror)

SCIP_RETCODE	SCIPexprgraphGetTree (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE rootnode, SCIP_EXPRTREE **exprtree)

SCIP_RETCODE	SCIPexprgraphGetSeparableTrees (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node, int exprtreessize, int nexprtrees, SCIP_EXPRTREE exprtrees, SCIP_Real exprtreecoefs)

void	SCIPexprgraphGetSubtreeVarsUsage (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node, int *varsusage)

int	SCIPexprgraphGetSumTreesNSummands (SCIP_EXPRGRAPHNODE *node)

SCIP_RETCODE	SCIPexprgraphGetSumTrees (SCIP_EXPRGRAPH exprgraph, SCIP_EXPRGRAPHNODE node, int exprtreessize, int nexprtrees, SCIP_EXPRTREE exprtrees, SCIP_Real exprtreecoefs)

Expression curvature methods
static const char *	curvnames [4]

SCIP_EXPRCURV	SCIPexprcurvAdd (SCIP_EXPRCURV curv1, SCIP_EXPRCURV curv2)

SCIP_EXPRCURV	SCIPexprcurvNegate (SCIP_EXPRCURV curvature)

SCIP_EXPRCURV	SCIPexprcurvMultiply (SCIP_Real factor, SCIP_EXPRCURV curvature)

SCIP_EXPRCURV	SCIPexprcurvPower (SCIP_INTERVAL basebounds, SCIP_EXPRCURV basecurv, SCIP_Real exponent)

SCIP_EXPRCURV	SCIPexprcurvMonomial (int nfactors, SCIP_Real exponents, int factoridxs, SCIP_EXPRCURV factorcurv, SCIP_INTERVAL factorbounds)

const char *	SCIPexprcurvGetName (SCIP_EXPRCURV curv)

Expression operand private methods
#define	exprcurvSin exprcurvDefault

#define	exprcurvCos exprcurvDefault

#define	exprevalIntTan exprevalIntDefault

#define	exprcurvTan exprcurvDefault

#define	EXPROPEMPTY {NULL, -1, NULL, NULL, NULL, NULL, NULL}

static struct exprOpTableElement	exprOpTable []

static	SCIP_DECL_EXPRINTEVAL (exprevalIntDefault)

static	SCIP_DECL_EXPRCURV (exprcurvDefault)

static	SCIP_DECL_EXPREVAL (exprevalVar)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntVar)

static	SCIP_DECL_EXPRCURV (exprcurvVar)

static	SCIP_DECL_EXPREVAL (exprevalConst)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntConst)

static	SCIP_DECL_EXPRCURV (exprcurvConst)

static	SCIP_DECL_EXPREVAL (exprevalParam)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntParam)

static	SCIP_DECL_EXPRCURV (exprcurvParam)

static	SCIP_DECL_EXPREVAL (exprevalPlus)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntPlus)

static	SCIP_DECL_EXPRCURV (exprcurvPlus)

static	SCIP_DECL_EXPREVAL (exprevalMinus)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntMinus)

static	SCIP_DECL_EXPRCURV (exprcurvMinus)

static	SCIP_DECL_EXPREVAL (exprevalMult)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntMult)

static	SCIP_DECL_EXPRCURV (exprcurvMult)

static	SCIP_DECL_EXPREVAL (exprevalDiv)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntDiv)

static	SCIP_DECL_EXPRCURV (exprcurvDiv)

static	SCIP_DECL_EXPREVAL (exprevalSquare)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntSquare)

static	SCIP_DECL_EXPRCURV (exprcurvSquare)

static	SCIP_DECL_EXPREVAL (exprevalSquareRoot)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntSquareRoot)

static	SCIP_DECL_EXPRCURV (exprcurvSquareRoot)

static	SCIP_DECL_EXPREVAL (exprevalRealPower)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntRealPower)

static	SCIP_DECL_EXPRCURV (exprcurvRealPower)

static	SCIP_DECL_EXPREVAL (exprevalIntPower)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntIntPower)

static	SCIP_DECL_EXPRCURV (exprcurvIntPower)

static	SCIP_DECL_EXPREVAL (exprevalSignPower)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntSignPower)

static	SCIP_DECL_EXPRCURV (exprcurvSignPower)

static	SCIP_DECL_EXPREVAL (exprevalExp)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntExp)

static	SCIP_DECL_EXPRCURV (exprcurvExp)

static	SCIP_DECL_EXPREVAL (exprevalLog)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntLog)

static	SCIP_DECL_EXPRCURV (exprcurvLog)

static	SCIP_DECL_EXPREVAL (exprevalSin)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntSin)

static	SCIP_DECL_EXPREVAL (exprevalCos)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntCos)

static	SCIP_DECL_EXPREVAL (exprevalTan)

static	SCIP_DECL_EXPREVAL (exprevalMin)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntMin)

static	SCIP_DECL_EXPRCURV (exprcurvMin)

static	SCIP_DECL_EXPREVAL (exprevalMax)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntMax)

static	SCIP_DECL_EXPRCURV (exprcurvMax)

static	SCIP_DECL_EXPREVAL (exprevalAbs)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntAbs)

static	SCIP_DECL_EXPRCURV (exprcurvAbs)

static	SCIP_DECL_EXPREVAL (exprevalSign)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntSign)

static	SCIP_DECL_EXPRCURV (exprcurvSign)

static	SCIP_DECL_EXPREVAL (exprevalSum)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntSum)

static	SCIP_DECL_EXPRCURV (exprcurvSum)

static	SCIP_DECL_EXPREVAL (exprevalProduct)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntProduct)

static	SCIP_DECL_EXPRCURV (exprcurvProduct)

static	SCIP_DECL_EXPREVAL (exprevalLinear)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntLinear)

static	SCIP_DECL_EXPRCURV (exprcurvLinear)

static	SCIP_DECL_EXPRCOPYDATA (exprCopyDataLinear)

static	SCIP_DECL_EXPRFREEDATA (exprFreeDataLinear)

static	SCIP_DECL_EXPREVAL (exprevalQuadratic)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntQuadratic)

static	SCIP_DECL_EXPRCURV (exprcurvQuadratic)

static	SCIP_DECL_EXPRCOPYDATA (exprCopyDataQuadratic)

static	SCIP_DECL_EXPRFREEDATA (exprFreeDataQuadratic)

static	SCIP_DECL_EXPREVAL (exprevalPolynomial)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntPolynomial)

static	SCIP_DECL_EXPRCURV (exprcurvPolynomial)

static	SCIP_DECL_EXPRCOPYDATA (exprCopyDataPolynomial)

static	SCIP_DECL_EXPRFREEDATA (exprFreeDataPolynomial)

static	SCIP_DECL_EXPREVAL (exprevalUser)

static	SCIP_DECL_EXPRINTEVAL (exprevalIntUser)

static	SCIP_DECL_EXPRCURV (exprcurvUser)

static	SCIP_DECL_EXPRCOPYDATA (exprCopyDataUser)

static	SCIP_DECL_EXPRFREEDATA (exprFreeDataUser)

Quadratic element methods
#define	QUADELEMS_ISBETTER(a, b) ( ((a).idx1 < (b).idx1) \|\| ((a).idx1 == (b).idx1 && (a).idx2 < (b).idx2) )

#define	QUADELEMS_SWAP(x, y)

static void	quadelemsQuickSort (SCIP_QUADELEM *elems, int start, int end)

void	SCIPquadelemSort (SCIP_QUADELEM *quadelems, int nquadelems)

SCIP_Bool	SCIPquadelemSortedFind (SCIP_QUADELEM quadelems, int idx1, int idx2, int nquadelems, int pos)

void	SCIPquadelemSqueeze (SCIP_QUADELEM quadelems, int nquadelems, int nquadelemsnew)

Macro Definition Documentation

#define SCIP_EXPRESSION_MAXCHILDEST 16

estimate on maximal number of children

Definition at line 39 of file expr.c.

Referenced by exprgraphNodeEval(), exprgraphNodeUpdateBounds(), SCIPexprCheckCurvature(), SCIPexprEval(), SCIPexprEvalInt(), SCIPexprgraphGetNodePolynomialMonomialCurvature(), and SCIPexprgraphUpdateNodeBoundsCurvature().

#define SIGN ( x ) ((x) >= 0.0 ? 1.0 : -1.0)

sign of a value (-1 or +1)

0.0 has sign +1

Definition at line 45 of file expr.c.

Referenced by SCIP_DECL_EXPREVAL().

#define ensureBlockMemoryArraySize	(	blkmem,
		array1,
		cursize,
		minsize
	)

Value:

do {                                                                 \
      int __newsize;                                                    \
      assert((blkmem)  != NULL);                                        \
      if( *(cursize) >= (minsize) )                                     \
         break;                                                         \
      __newsize = calcGrowSize(minsize);                                \
      assert(__newsize >= (minsize));                                   \
      SCIP_ALLOC( BMSreallocBlockMemoryArray(blkmem, array1, *(cursize), __newsize) ); \
      *(cursize) = __newsize;                                           \
   } while( FALSE )

ensures that a block memory array has at least a given size

if cursize is 0, then *array1 can be NULL

Definition at line 51 of file expr.c.

Referenced by exprgraphMoveNode(), exprgraphNodeAddParent(), exprgraphNodeSimplify(), polynomialdataEnsureMonomialsSize(), SCIPexprgraphAddConst(), SCIPexprgraphAddNode(), SCIPexprgraphAddVars(), SCIPexprgraphReplaceVarByLinearSum(), and SCIPexprgraphSimplify().

#define ensureBlockMemoryArraySize3	(	blkmem,
		array1,
		array2,
		array3,
		cursize,
		minsize
	)

Value:

do {                                                                 \
      int __newsize;                                                    \
      assert((blkmem)  != NULL);                                        \
      if( *(cursize) >= (minsize) )                                     \
         break;                                                         \
      __newsize = calcGrowSize(minsize);                                \
      assert(__newsize >= (minsize));                                   \
      SCIP_ALLOC( BMSreallocBlockMemoryArray(blkmem, array1, *(cursize), __newsize) ); \
      SCIP_ALLOC( BMSreallocBlockMemoryArray(blkmem, array2, *(cursize), __newsize) ); \
      SCIP_ALLOC( BMSreallocBlockMemoryArray(blkmem, array3, *(cursize), __newsize) ); \
      *(cursize) = __newsize;                                           \
   } while( FALSE )

ensures that three block memory arrays have at least a given size

if cursize is 0, then arrays can be NULL

Definition at line 86 of file expr.c.

Referenced by exprgraphEnsureDepth(), SCIPexprgraphAddVars(), SCIPexprgraphCreate(), and SCIPexprgraphReplaceVarByLinearSum().

#define exprcurvSin exprcurvDefault

Definition at line 2055 of file expr.c.

#define exprcurvCos exprcurvDefault

Definition at line 2084 of file expr.c.

#define exprevalIntTan exprevalIntDefault

Definition at line 2099 of file expr.c.

#define exprcurvTan exprcurvDefault

Definition at line 2102 of file expr.c.

#define EXPROPEMPTY {NULL, -1, NULL, NULL, NULL, NULL, NULL}

Definition at line 3186 of file expr.c.

#define QUADELEMS_ISBETTER	(	a,
		b
	)	( ((a).idx1 < (b).idx1) \|\| ((a).idx1 == (b).idx1 && (a).idx2 < (b).idx2) )

comparing two quadratic elements

a is better than b if index1 of a is smaller than index1 of b or index1 of both is equal but index2 of a is smaller than index2 of b

Definition at line 8908 of file expr.c.

Referenced by quadelemsQuickSort(), and SCIPquadelemSqueeze().

#define QUADELEMS_SWAP	(	x,
		y
	)

Value:

{                                            \
      SCIP_QUADELEM temp = x;                   \
      x = y;                                    \
      y = temp;                                 \
   }

swaps two quadratic elements

Definition at line 8911 of file expr.c.

Referenced by quadelemsQuickSort().

Function Documentation

static int calcGrowSize ( int num )

static

calculate memory size for dynamically allocated arrays (copied from scip/set.c)

Parameters

num	minimum number of entries to store

Definition at line 105 of file expr.c.

Referenced by exprsimplifyFlattenPolynomials(), and monomialdataEnsureFactorsSize().

static SCIP_DECL_SORTPTRCOMP ( ptrcomp )

static

pointer comparison to use in sorting methods

Definition at line 121 of file expr.c.

static SCIP_Bool isLbBetter	(	SCIP_Real	minstrength,
		SCIP_Real	newlb,
		SCIP_Real	oldlb,
		SCIP_Real	oldub
	)

static

checks if a given new lower bound is tighter (w.r.t. given bound strengthening epsilon) than the old one (copied from scip/set.c)

Parameters

minstrength	minimal relative improvement required to be a better bound
newlb	new lower bound
oldlb	old lower bound
oldub	old upper bound

Definition at line 132 of file expr.c.

References EPSGT, FALSE, MAX, MIN, REALABS, and SCIP_Real.

Referenced by exprgraphNodeUpdateBounds(), exprgraphUpdateVarNodeBounds(), SCIPexprgraphTightenNodeBounds(), and SCIPexprgraphUpdateNodeBoundsCurvature().

static SCIP_Bool isUbBetter	(	SCIP_Real	minstrength,
		SCIP_Real	newub,
		SCIP_Real	oldlb,
		SCIP_Real	oldub
	)

static

checks if a given new upper bound is tighter (w.r.t. given bound strengthening epsilon) than the old one (copied from scip/set.c)

Parameters

minstrength	minimal relative improvement required to be a better bound
newub	new upper bound
oldlb	old lower bound
oldub	old upper bound

Definition at line 152 of file expr.c.

References EPSLT, FALSE, MAX, MIN, REALABS, and SCIP_Real.

Referenced by exprgraphNodeUpdateBounds(), exprgraphUpdateVarNodeBounds(), SCIPexprgraphTightenNodeBounds(), and SCIPexprgraphUpdateNodeBoundsCurvature().

SCIP_EXPRCURV SCIPexprcurvAdd	(	SCIP_EXPRCURV	curv1,
		SCIP_EXPRCURV	curv2
	)

gives curvature for a sum of two functions with given curvature

Parameters

curv1	curvature of first summand
curv2	curvature of second summand

Definition at line 188 of file expr.c.

Referenced by checkCurvature(), and SCIP_DECL_EXPRCURV().

SCIP_EXPRCURV SCIPexprcurvNegate ( SCIP_EXPRCURV curvature )

gives the curvature for the negation of a function with given curvature

Parameters

curvature curvature of function

Definition at line 197 of file expr.c.

References SCIP_EXPRCURV_CONCAVE, SCIP_EXPRCURV_CONVEX, SCIP_EXPRCURV_LINEAR, SCIP_EXPRCURV_UNKNOWN, SCIPABORT, and SCIPerrorMessage.

Referenced by reformulate(), SCIP_DECL_EXPRCURV(), SCIPexprcurvMonomial(), and SCIPexprcurvMultiply().

SCIP_EXPRCURV SCIPexprcurvMultiply	(	SCIP_Real	factor,
		SCIP_EXPRCURV	curvature
	)

gives curvature for a functions with given curvature multiplied by a constant factor

Parameters

factor	constant factor
curvature	curvature of other factor

Definition at line 223 of file expr.c.

References SCIP_EXPRCURV_LINEAR, and SCIPexprcurvNegate().

Referenced by checkCurvature(), reformulate(), SCIP_DECL_EXPRCURV(), SCIPexprcurvMonomial(), and SCIPexprgraphGetNodePolynomialMonomialCurvature().

SCIP_EXPRCURV SCIPexprcurvPower	(	SCIP_INTERVAL	basebounds,
		SCIP_EXPRCURV	basecurv,
		SCIP_Real	exponent
	)

gives curvature for base^exponent for given bounds and curvature of base-function and constant exponent

Parameters

basebounds	bounds on base function
basecurv	curvature of base function
exponent	exponent

Definition at line 236 of file expr.c.

References EPSISINT, SCIP_Interval::inf, SCIP_Bool, SCIP_EXPRCURV_CONCAVE, SCIP_EXPRCURV_CONVEX, SCIP_EXPRCURV_LINEAR, SCIP_EXPRCURV_UNKNOWN, SCIP_Real, SCIPexprcurvPower(), SCIPintervalSetBounds(), sign(), and SCIP_Interval::sup.

Referenced by reformulate(), SCIP_DECL_EXPRCURV(), SCIPexprcurvMonomial(), and SCIPexprcurvPower().

SCIP_EXPRCURV SCIPexprcurvMonomial	(	int	nfactors,
		SCIP_Real *	exponents,
		int *	factoridxs,
		SCIP_EXPRCURV *	factorcurv,
		SCIP_INTERVAL *	factorbounds
	)

gives curvature for a monomial with given curvatures and bounds for each factor

See Maranas and Floudas, Finding All Solutions of Nonlinearly Constrained Systems of Equations, JOGO 7, 1995 for the categorization in the case that all factors are linear.

Parameters

nfactors	number of factors in monomial
exponents	exponents in monomial, or NULL if all 1.0
factoridxs	indices of factors (but not exponents), or NULL if identity mapping
factorcurv	curvature of each factor
factorbounds	bounds of each factor

Definition at line 344 of file expr.c.

References EPSGE, EPSISINT, EPSLE, FALSE, NULL, SCIP_Bool, SCIP_EXPRCURV_CONCAVE, SCIP_EXPRCURV_CONVEX, SCIP_EXPRCURV_LINEAR, SCIP_EXPRCURV_UNKNOWN, SCIP_Real, SCIPexprcurvMultiply(), SCIPexprcurvNegate(), SCIPexprcurvPower(), and TRUE.

Referenced by SCIP_DECL_EXPRCURV(), and SCIPexprgraphGetNodePolynomialMonomialCurvature().

const char* SCIPexprcurvGetName ( SCIP_EXPRCURV curv )

gives name as string for a curvature

Parameters

curv curvature

Definition at line 457 of file expr.c.

References curvnames, and SCIP_EXPRCURV_LINEAR.

Referenced by checkCurvature(), reformEnsureChildrenMinCurvature(), reformulate(), and registerBranchingVariables().

static SCIP_RETCODE quadraticdataCreate	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRDATA_QUADRATIC **	quadraticdata,
		SCIP_Real	constant,
		int	nchildren,
		SCIP_Real *	lincoefs,
		int	nquadelems,
		SCIP_QUADELEM *	quadelems
	)

static

creates SCIP_EXPRDATA_QUADRATIC data structure from given quadratic elements

Parameters

blkmem	block memory data structure
quadraticdata	buffer to store pointer to quadratic data
constant	constant
nchildren	number of children
lincoefs	linear coefficients of children, or NULL if all 0.0
nquadelems	number of quadratic elements
quadelems	quadratic elements

Definition at line 473 of file expr.c.

References BMSallocBlockMemory, BMSduplicateBlockMemoryArray, NULL, SCIP_ALLOC, and SCIP_OKAY.

Referenced by SCIP_DECL_EXPRCOPYDATA(), SCIPexprCreateQuadratic(), and SCIPexprgraphCreateNodeQuadratic().

static void quadraticdataSort ( SCIP_EXPRDATA_QUADRATIC * quadraticdata )

static

sorts quadratic elements in a SCIP_EXPRDATA_QUADRATIC data structure

Parameters

quadraticdata quadratic data

Definition at line 511 of file expr.c.

References SCIP_QuadElement::idx1, SCIP_QuadElement::idx2, SCIP_ExprData_Quadratic::nquadelems, NULL, SCIP_ExprData_Quadratic::quadelems, SCIPquadelemSort(), SCIP_ExprData_Quadratic::sorted, and TRUE.

Referenced by SCIP_DECL_EXPRINTEVAL(), SCIPexprGetMaxDegree(), and SCIPexprSortQuadElems().

static SCIP_DECL_SORTPTRCOMP ( monomialdataCompare )

static

compares two monomials

gives 0 if monomials are equal

Definition at line 547 of file expr.c.

References SCIP_ExprData_Monomial::childidxs, SCIP_ExprData_Monomial::exponents, SCIP_ExprData_Monomial::nfactors, NULL, and SCIPexprSortMonomialFactors().

static SCIP_RETCODE monomialdataEnsureFactorsSize	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRDATA_MONOMIAL *	monomialdata,
		int	minsize
	)

static

ensures that the factors arrays of a monomial have at least a given size

Parameters

blkmem	block memory data structure
monomialdata	monomial data
minsize	minimal size of factors arrays

Definition at line 586 of file expr.c.

References BMSreallocBlockMemoryArray, calcGrowSize(), SCIP_ExprData_Monomial::childidxs, SCIP_ExprData_Monomial::exponents, SCIP_ExprData_Monomial::factorssize, NULL, SCIP_ALLOC, and SCIP_OKAY.

Referenced by exprConvertToPolynomial(), polynomialdataExpandMonomialFactor(), and SCIPexprAddMonomialFactors().

static SCIP_RETCODE polynomialdataCreate	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRDATA_POLYNOMIAL **	polynomialdata,
		int	nmonomials,
		SCIP_EXPRDATA_MONOMIAL **	monomials,
		SCIP_Real	constant,
		SCIP_Bool	copymonomials
	)

static

creates SCIP_EXPRDATA_POLYNOMIAL data structure from given monomials

Parameters

blkmem	block memory data structure
polynomialdata	buffer to store pointer to polynomial data
nmonomials	number of monomials
monomials	monomials
constant	constant part
copymonomials	whether to copy monomials, or copy only given pointers, in which case polynomialdata assumes ownership of monomial structure

Definition at line 611 of file expr.c.

References BMSallocBlockMemory, BMSallocBlockMemoryArray, BMSduplicateBlockMemoryArray, SCIP_ExprData_Monomial::childidxs, SCIP_ExprData_Monomial::coef, SCIP_ExprData_Monomial::exponents, SCIP_ExprData_Monomial::nfactors, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, and SCIPexprCreateMonomial().

Referenced by exprConvertToPolynomial(), exprsimplifyFlattenPolynomials(), SCIPexprCreatePolynomial(), and SCIPexprgraphCreateNodePolynomial().

static SCIP_RETCODE polynomialdataCopy	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRDATA_POLYNOMIAL **	polynomialdata,
		SCIP_EXPRDATA_POLYNOMIAL *	sourcepolynomialdata
	)

static

creates a copy of a SCIP_EXPRDATA_POLYNOMIAL data structure

Parameters

blkmem	block memory data structure
polynomialdata	buffer to store pointer to polynomial data
sourcepolynomialdata	polynomial data to copy

Definition at line 658 of file expr.c.

References BMSallocBlockMemoryArray, BMSduplicateBlockMemory, SCIP_ExprData_Monomial::childidxs, SCIP_ExprData_Monomial::coef, SCIP_ExprData_Monomial::exponents, SCIP_ExprData_Polynomial::monomials, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPexprCreateMonomial(), and SCIP_ExprData_Monomial::sorted.

Referenced by polynomialdataExpandMonomialFactor(), polynomialdataPower(), and SCIP_DECL_EXPRCOPYDATA().

static void polynomialdataFree	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRDATA_POLYNOMIAL **	polynomialdata
	)

static

frees a SCIP_EXPRDATA_POLYNOMIAL data structure

Parameters

blkmem	block memory data structure
polynomialdata	pointer to polynomial data to free

Definition at line 695 of file expr.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, NULL, and SCIPexprFreeMonomial().

Referenced by exprgraphNodeSimplify(), exprsimplifyFlattenPolynomials(), exprUnconvertPolynomial(), polynomialdataExpandMonomialFactor(), polynomialdataPower(), and SCIP_DECL_EXPRFREEDATA().

static SCIP_RETCODE polynomialdataEnsureMonomialsSize	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRDATA_POLYNOMIAL *	polynomialdata,
		int	minsize
	)

static

ensures that the monomials array of a polynomial has at least a given size

Parameters

blkmem	block memory data structure
polynomialdata	polynomial data
minsize	minimal size of monomials array

Definition at line 724 of file expr.c.

References ensureBlockMemoryArraySize, SCIP_ExprData_Polynomial::monomials, SCIP_ExprData_Polynomial::monomialssize, NULL, and SCIP_OKAY.

Referenced by exprConvertToPolynomial(), polynomialdataAddMonomials(), polynomialdataMultiplyByMonomial(), and polynomialdataMultiplyByPolynomial().

static SCIP_RETCODE polynomialdataAddMonomials	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRDATA_POLYNOMIAL *	polynomialdata,
		int	nmonomials,
		SCIP_EXPRDATA_MONOMIAL **	monomials,
		SCIP_Bool	copymonomials
	)

static

adds an array of monomials to a polynomial

Parameters

blkmem	block memory of expression
polynomialdata	polynomial data
nmonomials	number of monomials to add
monomials	the monomials to add
copymonomials	whether to copy monomials or to assume ownership

Definition at line 741 of file expr.c.

References BMScopyMemoryArray, SCIP_ExprData_Monomial::childidxs, SCIP_ExprData_Monomial::coef, SCIP_ExprData_Monomial::exponents, SCIP_ExprData_Polynomial::monomials, SCIP_ExprData_Polynomial::monomialssize, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, NULL, polynomialdataEnsureMonomialsSize(), SCIP_CALL, SCIP_OKAY, SCIPexprCreateMonomial(), and SCIP_ExprData_Polynomial::sorted.

Referenced by exprConvertToPolynomial(), polynomialdataExpandMonomialFactor(), polynomialdataMultiplyByPolynomial(), SCIPexprAddMonomials(), and SCIPexprgraphNodePolynomialAddMonomials().

static void polynomialdataSortMonomials ( SCIP_EXPRDATA_POLYNOMIAL * polynomialdata )

static

ensures that monomials of a polynomial are sorted

Parameters

polynomialdata polynomial expression

Definition at line 783 of file expr.c.

References SCIP_ExprData_Polynomial::monomials, SCIP_ExprData_Polynomial::nmonomials, NULL, SCIPsortPtr(), SCIP_ExprData_Polynomial::sorted, SCIP_ExprData_Monomial::sorted, and TRUE.

Referenced by exprgraphFindParentByOperator(), polynomialdataMergeMonomials(), and SCIPexprSortMonomials().

static void polynomialdataMergeMonomials	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRDATA_POLYNOMIAL *	polynomialdata,
		SCIP_Real	eps,
		SCIP_Bool	mergefactors
	)

static

merges monomials that differ only in coefficient into a single monomial

Eliminates monomials with coefficient between -eps and eps.

Parameters

blkmem	block memory
polynomialdata	polynomial data
eps	threshold under which numbers are treat as zero
mergefactors	whether to merge factors in monomials too

Definition at line 816 of file expr.c.

References SCIP_ExprData_Monomial::coef, SCIP_ExprData_Polynomial::constant, EPSZ, FALSE, SCIP_ExprData_Polynomial::monomials, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, NULL, polynomialdataSortMonomials(), SCIPexprFreeMonomial(), SCIPexprMergeMonomialFactors(), and SCIP_ExprData_Polynomial::sorted.

Referenced by exprgraphNodeSimplify(), exprsimplifySeparateLinearFromPolynomial(), exprUnconvertPolynomial(), polynomialdataPower(), SCIPexprgraphNodeSplitOffLinear(), and SCIPexprMergeMonomials().

static void polynomialdataMultiplyByConstant	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRDATA_POLYNOMIAL *	polynomialdata,
		SCIP_Real	factor
	)

static

multiplies each summand of a polynomial by a given constant

Parameters

blkmem	block memory
polynomialdata	polynomial data
factor	constant factor

Definition at line 908 of file expr.c.

References SCIP_ExprData_Monomial::coef, SCIP_ExprData_Polynomial::constant, SCIP_ExprData_Polynomial::monomials, SCIP_ExprData_Polynomial::nmonomials, NULL, SCIPexprChgMonomialCoef(), and SCIPexprFreeMonomial().

Referenced by polynomialdataMultiplyByMonomial(), polynomialdataMultiplyByPolynomial(), and SCIPexprMultiplyPolynomialByConstant().

static SCIP_RETCODE polynomialdataMultiplyByMonomial	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRDATA_POLYNOMIAL *	polynomialdata,
		SCIP_EXPRDATA_MONOMIAL *	factor,
		int *	childmap
	)

static

multiplies each summand of a polynomial by a given monomial

Parameters

blkmem	block memory
polynomialdata	polynomial data
factor	monomial factor
childmap	map children in factor to children in expr, or NULL for 1:1

Definition at line 938 of file expr.c.

References SCIP_ExprData_Monomial::coef, SCIP_ExprData_Polynomial::constant, FALSE, SCIP_ExprData_Polynomial::monomials, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, NULL, polynomialdataEnsureMonomialsSize(), polynomialdataMultiplyByConstant(), SCIP_CALL, SCIP_OKAY, SCIPexprCreateMonomial(), SCIPexprMultiplyMonomialByMonomial(), and SCIP_ExprData_Polynomial::sorted.

Referenced by polynomialdataExpandMonomialFactor(), polynomialdataMultiplyByPolynomial(), and SCIPexprMultiplyPolynomialByMonomial().

static SCIP_RETCODE polynomialdataMultiplyByPolynomial	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRDATA_POLYNOMIAL *	polynomialdata,
		SCIP_EXPRDATA_POLYNOMIAL *	factordata,
		int *	childmap
	)

static

multiplies a polynomial by a polynomial

Factors need to be different.

Parameters

blkmem	block memory
polynomialdata	polynomial data
factordata	polynomial factor data
childmap	map children in factor to children in polynomialdata, or NULL for 1:1

Definition at line 982 of file expr.c.

References SCIP_ExprData_Monomial::coef, SCIP_ExprData_Polynomial::constant, FALSE, SCIP_ExprData_Polynomial::monomials, SCIP_ExprData_Polynomial::nmonomials, NULL, polynomialdataAddMonomials(), polynomialdataEnsureMonomialsSize(), polynomialdataMultiplyByConstant(), polynomialdataMultiplyByMonomial(), SCIP_CALL, SCIP_OKAY, SCIPexprChgMonomialCoef(), SCIPexprCreateMonomial(), SCIPexprMultiplyMonomialByMonomial(), SCIP_ExprData_Polynomial::sorted, and TRUE.

Referenced by polynomialdataPower(), and SCIPexprMultiplyPolynomialByPolynomial().

static SCIP_RETCODE polynomialdataPower	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRDATA_POLYNOMIAL *	polynomialdata,
		int	exponent
	)

static

takes a power of a polynomial

Exponent needs to be an integer, polynomial needs to be a monomial, if exponent is negative.

Parameters

blkmem	block memory
polynomialdata	polynomial data
exponent	exponent of power operation

Definition at line 1071 of file expr.c.

References SCIP_ExprData_Polynomial::constant, SCIP_ExprData_Polynomial::monomials, SCIP_ExprData_Polynomial::nmonomials, NULL, polynomialdataCopy(), polynomialdataFree(), polynomialdataMergeMonomials(), polynomialdataMultiplyByPolynomial(), pow(), SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPexprFreeMonomial(), SCIPexprMonomialPower(), and TRUE.

Referenced by polynomialdataExpandMonomialFactor(), and SCIPexprPolynomialPower().

static void polynomialdataApplyChildmap	(	SCIP_EXPRDATA_POLYNOMIAL *	polynomialdata,
		int *	childmap
	)

static

applies a mapping of child indices to the indices used in polynomial monomials

Parameters

polynomialdata	polynomial data
childmap	mapping of child indices

Definition at line 1141 of file expr.c.

References SCIP_ExprData_Monomial::childidxs, FALSE, SCIP_ExprData_Polynomial::monomials, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, NULL, SCIP_ExprData_Polynomial::sorted, and SCIP_ExprData_Monomial::sorted.

Referenced by exprgraphFindParentByOperator(), exprgraphNodeRemovePolynomialDuplicateChildren(), exprgraphNodeRemovePolynomialNullChildren(), exprsimplifyRemoveDuplicatePolynomialChildren(), exprsimplifyRemovePolynomialNullChildren(), and polynomialdataExpandMonomialFactor().

static SCIP_RETCODE polynomialdataExpandMonomialFactor	(	BMS_BLKMEM *	blkmem,
		SCIP_MESSAGEHDLR *	messagehdlr,
		SCIP_EXPRDATA_POLYNOMIAL *	polynomialdata,
		int	monomialpos,
		int	factorpos,
		SCIP_EXPRDATA_POLYNOMIAL *	factorpolynomial,
		int *	childmap,
		int	maxexpansionexponent,
		SCIP_Bool *	success
	)

static

replaces a factor in a monomial by a polynomial and expands the result

Parameters

blkmem	block memory data structure
messagehdlr	message handler
polynomialdata	polynomial data where to expand a monomial
monomialpos	position of monomial which factor to expand
factorpos	position of factor in monomial to expand
factorpolynomial	polynomial that should replace factor
childmap	map of child indices in factorpolynomial to children of polynomial
maxexpansionexponent	maximal exponent for which polynomials (with > 1 summands) are expanded
success	buffer to store whether expansion has been done

Definition at line 1170 of file expr.c.

References SCIP_ExprData_Monomial::childidxs, SCIP_ExprData_Monomial::coef, SCIP_ExprData_Polynomial::constant, EPSFLOOR, EPSISINT, SCIP_ExprData_Monomial::exponents, FALSE, monomialdataEnsureFactorsSize(), SCIP_ExprData_Polynomial::monomials, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, NULL, polynomialdataAddMonomials(), polynomialdataApplyChildmap(), polynomialdataCopy(), polynomialdataFree(), polynomialdataMultiplyByMonomial(), polynomialdataPower(), pow(), SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPexprAddMonomialFactors(), SCIPexprFreeMonomial(), SCIPmessagePrintWarning(), SCIP_ExprData_Polynomial::sorted, SCIP_ExprData_Monomial::sorted, and TRUE.

Referenced by exprgraphNodeSimplify(), and exprsimplifyFlattenPolynomials().

static SCIP_DECL_EXPRINTEVAL ( exprevalIntDefault )

static

a default implementation of expression interval evaluation that always gives a correct result

Definition at line 1392 of file expr.c.

References SCIP_OKAY, and SCIPintervalSetEntire().

Referenced by SCIP_DECL_EXPRFREEDATA().

static SCIP_DECL_EXPRCURV ( exprcurvDefault )

static

a default implementation of expression curvature check that always gives a correct result

Definition at line 1401 of file expr.c.

References SCIP_EXPRCURV_UNKNOWN, and SCIP_OKAY.

Referenced by SCIP_DECL_EXPRFREEDATA().

static SCIP_DECL_EXPREVAL ( exprevalVar )

static

point evaluation for EXPR_VAR

Definition at line 1410 of file expr.c.

References NULL, and SCIP_OKAY.

Referenced by SCIP_DECL_EXPRFREEDATA().

static SCIP_DECL_EXPRINTEVAL ( exprevalIntVar )

static

interval evaluation for EXPR_VAR

Definition at line 1422 of file expr.c.

References NULL, and SCIP_OKAY.

static SCIP_DECL_EXPRCURV ( exprcurvVar )

static

curvature for EXPR_VAR

Definition at line 1434 of file expr.c.

References NULL, SCIP_EXPRCURV_LINEAR, and SCIP_OKAY.

static SCIP_DECL_EXPREVAL ( exprevalConst )

static

point evaluation for EXPR_CONST

Definition at line 1445 of file expr.c.

References NULL, and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntConst )

static

interval evaluation for EXPR_CONST

Definition at line 1456 of file expr.c.

References NULL, SCIP_OKAY, and SCIPintervalSet().

static SCIP_DECL_EXPRCURV ( exprcurvConst )

static

curvature for EXPR_CONST

Definition at line 1467 of file expr.c.

References NULL, SCIP_EXPRCURV_LINEAR, and SCIP_OKAY.

static SCIP_DECL_EXPREVAL ( exprevalParam )

static

point evaluation for EXPR_PARAM

Definition at line 1478 of file expr.c.

References NULL, and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntParam )

static

interval evaluation for EXPR_PARAM

Definition at line 1490 of file expr.c.

References NULL, SCIP_OKAY, and SCIPintervalSet().

static SCIP_DECL_EXPRCURV ( exprcurvParam )

static

curvature for EXPR_PARAM

Definition at line 1502 of file expr.c.

References NULL, SCIP_EXPRCURV_LINEAR, and SCIP_OKAY.

static SCIP_DECL_EXPREVAL ( exprevalPlus )

static

point evaluation for EXPR_PLUS

Definition at line 1513 of file expr.c.

References NULL, and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntPlus )

static

interval evaluation for EXPR_PLUS

Definition at line 1525 of file expr.c.

References NULL, SCIP_OKAY, and SCIPintervalAdd().

static SCIP_DECL_EXPRCURV ( exprcurvPlus )

static

curvature for EXPR_PLUS

Definition at line 1537 of file expr.c.

References NULL, SCIP_OKAY, and SCIPexprcurvAdd().

static SCIP_DECL_EXPREVAL ( exprevalMinus )

static

point evaluation for EXPR_MINUS

Definition at line 1549 of file expr.c.

References NULL, and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntMinus )

static

interval evaluation for EXPR_MINUS

Definition at line 1561 of file expr.c.

References NULL, SCIP_OKAY, and SCIPintervalSub().

static SCIP_DECL_EXPRCURV ( exprcurvMinus )

static

curvature for EXPR_MINUS

Definition at line 1573 of file expr.c.

References NULL, SCIP_OKAY, SCIPexprcurvAdd(), and SCIPexprcurvNegate().

static SCIP_DECL_EXPREVAL ( exprevalMult )

static

point evaluation for EXPR_MUL

Definition at line 1585 of file expr.c.

References NULL, and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntMult )

static

interval evaluation for EXPR_MUL

Definition at line 1597 of file expr.c.

References NULL, SCIP_OKAY, and SCIPintervalMul().

static SCIP_DECL_EXPRCURV ( exprcurvMult )

static

curvature for EXPR_MUL

Definition at line 1609 of file expr.c.

References NULL, SCIP_EXPRCURV_UNKNOWN, SCIP_OKAY, and SCIPexprcurvMultiply().

static SCIP_DECL_EXPREVAL ( exprevalDiv )

static

point evaluation for EXPR_DIV

Definition at line 1634 of file expr.c.

References NULL, and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntDiv )

static

interval evaluation for EXPR_DIV

Definition at line 1646 of file expr.c.

References NULL, SCIP_OKAY, and SCIPintervalDiv().

static SCIP_DECL_EXPRCURV ( exprcurvDiv )

static

curvature for EXPR_DIV

Definition at line 1658 of file expr.c.

References NULL, SCIP_EXPRCURV_CONCAVE, SCIP_EXPRCURV_CONVEX, SCIP_EXPRCURV_UNKNOWN, SCIP_OKAY, and SCIPexprcurvMultiply().

static SCIP_DECL_EXPREVAL ( exprevalSquare )

static

point evaluation for EXPR_SQUARE

Definition at line 1702 of file expr.c.

References NULL, and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntSquare )

static

interval evaluation for EXPR_SQUARE

Definition at line 1714 of file expr.c.

References NULL, SCIP_OKAY, and SCIPintervalSquare().

static SCIP_DECL_EXPRCURV ( exprcurvSquare )

static

curvature for EXPR_SQUARE

Definition at line 1726 of file expr.c.

References NULL, SCIP_OKAY, and SCIPexprcurvPower().

static SCIP_DECL_EXPREVAL ( exprevalSquareRoot )

static

point evaluation for EXPR_SQRT

Definition at line 1739 of file expr.c.

References NULL, SCIP_OKAY, and sqrt().

static SCIP_DECL_EXPRINTEVAL ( exprevalIntSquareRoot )

static

interval evaluation for EXPR_SQRT

Definition at line 1751 of file expr.c.

References NULL, SCIP_OKAY, and SCIPintervalSquareRoot().

static SCIP_DECL_EXPRCURV ( exprcurvSquareRoot )

static

curvature for EXPR_SQRT

Definition at line 1763 of file expr.c.

References NULL, SCIP_EXPRCURV_CONCAVE, SCIP_EXPRCURV_UNKNOWN, and SCIP_OKAY.

static SCIP_DECL_EXPREVAL ( exprevalRealPower )

static

point evaluation for EXPR_REALPOWER

Definition at line 1782 of file expr.c.

References NULL, pow(), and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntRealPower )

static

interval evaluation for EXPR_REALPOWER

Definition at line 1794 of file expr.c.

References NULL, SCIP_OKAY, and SCIPintervalPowerScalar().

static SCIP_DECL_EXPRCURV ( exprcurvRealPower )

static

curvature for EXPR_REALPOWER

Definition at line 1806 of file expr.c.

References NULL, SCIP_OKAY, and SCIPexprcurvPower().

static SCIP_DECL_EXPREVAL ( exprevalIntPower )

static

point evaluation for EXPR_INTPOWER

Definition at line 1819 of file expr.c.

References NULL, pow(), SCIP_OKAY, and SCIP_Real.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntIntPower )

static

interval evaluation for EXPR_INTPOWER

Definition at line 1851 of file expr.c.

References NULL, SCIP_OKAY, SCIP_Real, and SCIPintervalPowerScalar().

static SCIP_DECL_EXPRCURV ( exprcurvIntPower )

static

curvature for EXPR_INTPOWER

Definition at line 1863 of file expr.c.

References NULL, SCIP_OKAY, SCIP_Real, and SCIPexprcurvPower().

static SCIP_DECL_EXPREVAL ( exprevalSignPower )

static

point evaluation for EXPR_SIGNPOWER

Definition at line 1876 of file expr.c.

References NULL, pow(), and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntSignPower )

static

interval evaluation for EXPR_SIGNPOWER

Definition at line 1891 of file expr.c.

References NULL, SCIP_OKAY, and SCIPintervalSignPowerScalar().

static SCIP_DECL_EXPRCURV ( exprcurvSignPower )

static

curvature for EXPR_SIGNPOWER

Definition at line 1903 of file expr.c.

References NULL, SCIP_EXPRCURV_LINEAR, SCIP_OKAY, SCIPexprcurvNegate(), SCIPexprcurvPower(), and SCIPintervalSetBounds().

static SCIP_DECL_EXPREVAL ( exprevalExp )

static

point evaluation for EXPR_EXP

Definition at line 1946 of file expr.c.

References exp(), NULL, and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntExp )

static

interval evaluation for EXPR_EXP

Definition at line 1958 of file expr.c.

References NULL, SCIP_OKAY, and SCIPintervalExp().

static SCIP_DECL_EXPRCURV ( exprcurvExp )

static

curvature for EXPR_EXP

Definition at line 1970 of file expr.c.

References NULL, SCIP_EXPRCURV_CONVEX, SCIP_EXPRCURV_UNKNOWN, and SCIP_OKAY.

static SCIP_DECL_EXPREVAL ( exprevalLog )

static

point evaluation for EXPR_LOG

Definition at line 1988 of file expr.c.

References log(), NULL, and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntLog )

static

interval evaluation for EXPR_LOG

Definition at line 2000 of file expr.c.

References NULL, SCIP_OKAY, and SCIPintervalLog().

static SCIP_DECL_EXPRCURV ( exprcurvLog )

static

curvature for EXPR_LOG

Definition at line 2012 of file expr.c.

References NULL, SCIP_EXPRCURV_CONCAVE, SCIP_EXPRCURV_UNKNOWN, and SCIP_OKAY.

static SCIP_DECL_EXPREVAL ( exprevalSin )

static

point evaluation for EXPR_SIN

Definition at line 2030 of file expr.c.

References NULL, SCIP_OKAY, and sin().

static SCIP_DECL_EXPRINTEVAL ( exprevalIntSin )

static

interval evaluation for EXPR_SIN

Definition at line 2042 of file expr.c.

References NULL, SCIP_OKAY, SCIPerrorMessage, and SCIPintervalSetBounds().

static SCIP_DECL_EXPREVAL ( exprevalCos )

static

point evaluation for EXPR_COS

Definition at line 2059 of file expr.c.

References cos(), NULL, and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntCos )

static

interval evaluation for EXPR_COS

Definition at line 2071 of file expr.c.

References NULL, SCIP_OKAY, SCIPerrorMessage, and SCIPintervalSetBounds().

static SCIP_DECL_EXPREVAL ( exprevalTan )

static

point evaluation for EXPR_TAN

Definition at line 2088 of file expr.c.

References NULL, and SCIP_OKAY.

static SCIP_DECL_EXPREVAL ( exprevalMin )

static

point evaluation for EXPR_MIN

Definition at line 2143 of file expr.c.

References MIN, NULL, and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntMin )

static

interval evaluation for EXPR_MIN

Definition at line 2155 of file expr.c.

References NULL, SCIP_OKAY, and SCIPintervalMin().

static SCIP_DECL_EXPRCURV ( exprcurvMin )

static

curvature for EXPR_MIN

Definition at line 2167 of file expr.c.

References NULL, SCIP_EXPRCURV_CONCAVE, SCIP_EXPRCURV_UNKNOWN, and SCIP_OKAY.

static SCIP_DECL_EXPREVAL ( exprevalMax )

static

point evaluation for EXPR_MAX

Definition at line 2186 of file expr.c.

References MAX, NULL, and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntMax )

static

interval evaluation for EXPR_MAX

Definition at line 2198 of file expr.c.

References NULL, SCIP_OKAY, and SCIPintervalMax().

static SCIP_DECL_EXPRCURV ( exprcurvMax )

static

curvature for EXPR_MAX

Definition at line 2210 of file expr.c.

References NULL, SCIP_EXPRCURV_CONVEX, SCIP_EXPRCURV_UNKNOWN, and SCIP_OKAY.

static SCIP_DECL_EXPREVAL ( exprevalAbs )

static

point evaluation for EXPR_ABS

Definition at line 2228 of file expr.c.

References NULL, and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntAbs )

static

interval evaluation for EXPR_ABS

Definition at line 2240 of file expr.c.

References NULL, SCIP_OKAY, and SCIPintervalAbs().

static SCIP_DECL_EXPRCURV ( exprcurvAbs )

static

curvature for EXPR_ABS

Definition at line 2252 of file expr.c.

References NULL, SCIP_EXPRCURV_CONVEX, SCIP_EXPRCURV_LINEAR, SCIP_EXPRCURV_UNKNOWN, SCIP_OKAY, and SCIPexprcurvMultiply().

static SCIP_DECL_EXPREVAL ( exprevalSign )

static

point evaluation for EXPR_SIGN

Definition at line 2277 of file expr.c.

References NULL, SCIP_OKAY, and SIGN.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntSign )

static

interval evaluation for EXPR_SIGN

Definition at line 2289 of file expr.c.

References NULL, SCIP_OKAY, and SCIPintervalSign().

static SCIP_DECL_EXPRCURV ( exprcurvSign )

static

curvature for EXPR_SIGN

Definition at line 2301 of file expr.c.

References NULL, SCIP_EXPRCURV_LINEAR, SCIP_EXPRCURV_UNKNOWN, and SCIP_OKAY.

static SCIP_DECL_EXPREVAL ( exprevalSum )

static

point evaluation for EXPR_SUM

Definition at line 2317 of file expr.c.

References NULL, and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntSum )

static

interval evaluation for EXPR_SUM

Definition at line 2333 of file expr.c.

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

static SCIP_DECL_EXPRCURV ( exprcurvSum )

static

curvature for EXPR_SUM

Definition at line 2350 of file expr.c.

References NULL, SCIP_EXPRCURV_LINEAR, SCIP_OKAY, and SCIPexprcurvAdd().

static SCIP_DECL_EXPREVAL ( exprevalProduct )

static

point evaluation for EXPR_PRODUCT

Definition at line 2367 of file expr.c.

References NULL, and SCIP_OKAY.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntProduct )

static

interval evaluation for EXPR_PRODUCT

Definition at line 2383 of file expr.c.

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

static SCIP_DECL_EXPRCURV ( exprcurvProduct )

static

curvature for EXPR_PRODUCT

Definition at line 2400 of file expr.c.

References FALSE, NULL, SCIP_Bool, SCIP_EXPRCURV_LINEAR, SCIP_EXPRCURV_UNKNOWN, SCIP_OKAY, SCIP_Real, SCIPexprcurvMultiply(), and TRUE.

static SCIP_DECL_EXPREVAL ( exprevalLinear )

static

point evaluation for EXPR_LINEAR

Definition at line 2444 of file expr.c.

References NULL, SCIP_OKAY, and SCIP_Real.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntLinear )

static

interval evaluation for EXPR_LINEAR

Definition at line 2466 of file expr.c.

References NULL, SCIP_OKAY, SCIP_Real, SCIPintervalAddScalar(), and SCIPintervalScalprodScalars().

static SCIP_DECL_EXPRCURV ( exprcurvLinear )

static

curvature for EXPR_LINEAR

Definition at line 2480 of file expr.c.

References NULL, SCIP_EXPRCURV_LINEAR, SCIP_OKAY, SCIP_Real, SCIPexprcurvAdd(), and SCIPexprcurvMultiply().

static SCIP_DECL_EXPRCOPYDATA ( exprCopyDataLinear )

static

expression data copy for EXPR_LINEAR

Definition at line 2501 of file expr.c.

References BMSduplicateBlockMemoryArray, NULL, SCIP_ALLOC, SCIP_OKAY, and SCIP_Real.

Referenced by SCIP_DECL_EXPRFREEDATA().

static SCIP_DECL_EXPRFREEDATA ( exprFreeDataLinear )

static

expression data free for EXPR_LINEAR

Definition at line 2519 of file expr.c.

References BMSfreeBlockMemoryArray, NULL, and SCIP_Real.

Referenced by SCIP_DECL_EXPRFREEDATA().

static SCIP_DECL_EXPREVAL ( exprevalQuadratic )

static

point evaluation for EXPR_QUADRATIC

Definition at line 2534 of file expr.c.

References SCIP_QuadElement::coef, SCIP_ExprData_Quadratic::constant, SCIP_QuadElement::idx1, SCIP_QuadElement::idx2, SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprData_Quadratic::nquadelems, NULL, SCIP_ExprData_Quadratic::quadelems, SCIP_OKAY, and SCIP_Real.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntQuadratic )

static

interval evaluation for EXPR_QUADRATIC

Definition at line 2571 of file expr.c.

References SCIP_QuadElement::coef, SCIP_ExprData_Quadratic::constant, SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprData_Quadratic::nquadelems, NULL, SCIP_ExprData_Quadratic::quadelems, quadraticdataSort(), SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPintervalAdd(), SCIPintervalAddScalar(), SCIPintervalMulScalar(), SCIPintervalQuad(), SCIPintervalQuadBivar(), and SCIPintervalSet().

static SCIP_DECL_EXPRCURV ( exprcurvQuadratic )

static

curvature for EXPR_QUADRATIC

Definition at line 2698 of file expr.c.

References SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprData_Quadratic::nquadelems, NULL, SCIP_ExprData_Quadratic::quadelems, SCIP_EXPRCURV_LINEAR, SCIP_EXPRCURV_UNKNOWN, SCIP_OKAY, SCIP_Real, SCIPexprcurvAdd(), SCIPexprcurvMultiply(), and SCIPexprcurvPower().

static SCIP_DECL_EXPRCOPYDATA ( exprCopyDataQuadratic )

static

expression data copy for EXPR_QUADRATIC

Definition at line 2766 of file expr.c.

References SCIP_ExprData_Quadratic::constant, SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprData_Quadratic::nquadelems, NULL, SCIP_ExprData_Quadratic::quadelems, quadraticdataCreate(), SCIP_CALL, and SCIP_OKAY.

static SCIP_DECL_EXPRFREEDATA ( exprFreeDataQuadratic )

static

expression data free for EXPR_QUADRATIC

Definition at line 2784 of file expr.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprData_Quadratic::nquadelems, NULL, and SCIP_ExprData_Quadratic::quadelems.

static SCIP_DECL_EXPREVAL ( exprevalPolynomial )

static

point evaluation for EXPR_POLYNOMIAL

Definition at line 2810 of file expr.c.

References SCIP_ExprData_Monomial::childidxs, SCIP_ExprData_Monomial::coef, SCIP_ExprData_Polynomial::constant, SCIP_ExprData_Monomial::exponents, log(), SCIP_ExprData_Polynomial::monomials, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, NULL, pow(), SCIP_OKAY, SCIP_Real, and sqrt().

static SCIP_DECL_EXPRINTEVAL ( exprevalIntPolynomial )

static

interval evaluation for EXPR_POLYNOMIAL

Definition at line 2903 of file expr.c.

References SCIP_ExprData_Monomial::childidxs, SCIP_ExprData_Monomial::coef, SCIP_ExprData_Polynomial::constant, SCIP_ExprData_Monomial::exponents, SCIP_ExprData_Polynomial::monomials, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, NULL, SCIP_OKAY, SCIP_Real, SCIPintervalAdd(), SCIPintervalDiv(), SCIPintervalIsEmpty(), SCIPintervalIsEntire(), SCIPintervalMul(), SCIPintervalPowerScalar(), SCIPintervalSet(), SCIPintervalSetEmpty(), SCIPintervalSquare(), and SCIPintervalSquareRoot().

static SCIP_DECL_EXPRCURV ( exprcurvPolynomial )

static

curvature for EXPR_POLYNOMIAL

Definition at line 2997 of file expr.c.

References SCIP_ExprData_Monomial::childidxs, SCIP_ExprData_Monomial::coef, SCIP_ExprData_Monomial::exponents, SCIP_ExprData_Polynomial::monomials, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, NULL, SCIP_EXPRCURV_LINEAR, SCIP_EXPRCURV_UNKNOWN, SCIP_OKAY, SCIPexprcurvAdd(), SCIPexprcurvMonomial(), and SCIPexprcurvMultiply().

static SCIP_DECL_EXPRCOPYDATA ( exprCopyDataPolynomial )

static

expression data copy for EXPR_POLYNOMIAL

Definition at line 3031 of file expr.c.

References NULL, polynomialdataCopy(), SCIP_CALL, and SCIP_OKAY.

static SCIP_DECL_EXPRFREEDATA ( exprFreeDataPolynomial )

static

expression data free for EXPR_POLYNOMIAL

Definition at line 3051 of file expr.c.

References NULL, and polynomialdataFree().

static SCIP_DECL_EXPREVAL ( exprevalUser )

static

point evaluation for user expression

Definition at line 3065 of file expr.c.

References NULL, SCIP_CALL, SCIP_OKAY, and SCIP_ExprData_User::userdata.

static SCIP_DECL_EXPRINTEVAL ( exprevalIntUser )

static

interval evaluation for user expression

Definition at line 3078 of file expr.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPintervalSetEntire(), and SCIP_ExprData_User::userdata.

static SCIP_DECL_EXPRCURV ( exprcurvUser )

static

curvature check for user expression

Definition at line 3099 of file expr.c.

References NULL, SCIP_CALL, SCIP_EXPRCURV_UNKNOWN, SCIP_OKAY, and SCIP_ExprData_User::userdata.

static SCIP_DECL_EXPRCOPYDATA ( exprCopyDataUser )

static

data copy for user expression

Definition at line 3120 of file expr.c.

References BMSduplicateBlockMemory, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, and SCIP_ExprData_User::userdata.

static SCIP_DECL_EXPRFREEDATA ( exprFreeDataUser )

static

data free for user expression

Definition at line 3152 of file expr.c.

References BMSfreeBlockMemory, eval(), NULL, SCIP_DECL_EXPRCOPYDATA(), SCIP_DECL_EXPRCURV(), SCIP_DECL_EXPREVAL(), SCIP_DECL_EXPRFREEDATA(), SCIP_DECL_EXPRINTEVAL(), and SCIP_ExprData_User::userdata.

const char* SCIPexpropGetName ( SCIP_EXPROP op )

gives the name of an operand as string

Parameters

op	expression operand

Definition at line 3237 of file expr.c.

References SCIP_EXPR_LAST.

Referenced by exprgraphNodeUpdateBounds(), exprgraphPrintNodeExpression(), printExpr(), printRowNl(), reformulate(), SCIPexprgraphNodeSplitOffLinear(), SCIPexprgraphReleaseNode(), SCIPexprgraphUpdateNodeBoundsCurvature(), and SCIPwritePip().

int SCIPexpropGetNChildren ( SCIP_EXPROP op )

gives the number of children of a simple operand

Parameters

op	expression operand

Definition at line 3247 of file expr.c.

References SCIP_EXPR_LAST.

static SCIP_RETCODE exprCreate	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR **	expr,
		SCIP_EXPROP	op,
		int	nchildren,
		SCIP_EXPR **	children,
		SCIP_EXPROPDATA	opdata
	)

static

creates an expression

Note, that the expression is allocated but for the children only the pointer is copied.

Parameters

blkmem	block memory data structure
expr	pointer to buffer for expression address
op	operand of expression
nchildren	number of children
children	children
opdata	operand data

Definition at line 3266 of file expr.c.

References BMSallocBlockMemory, SCIP_Expr::data, NULL, SCIP_ALLOC, and SCIP_OKAY.

Referenced by SCIPexprCreate(), SCIPexprCreateLinear(), SCIPexprCreatePolynomial(), SCIPexprCreateQuadratic(), and SCIPexprCreateUser().

static SCIP_RETCODE exprConvertToPolynomial	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPROP *	op,
		SCIP_EXPROPDATA *	data,
		int	nchildren
	)

static

tries to convert a given (operator,operatordata) pair into a polynomial operator with corresponding data

Does not do this for constants. If conversion is not possible or operator is already polynomial, *op and *data are left untouched.

Parameters

blkmem	block memory
op	pointer to expression operator
data	pointer to expression data
nchildren	number of children of operator

Definition at line 3297 of file expr.c.

References SCIP_ExprData_Monomial::childidxs, SCIP_ExprData_Monomial::coef, SCIP_QuadElement::coef, SCIP_ExprData_Quadratic::constant, EPSISINT, FALSE, SCIP_QuadElement::idx1, SCIP_QuadElement::idx2, SCIP_ExprData_Quadratic::lincoefs, monomialdataEnsureFactorsSize(), SCIP_ExprData_Polynomial::monomialssize, SCIP_ExprData_Quadratic::nquadelems, NULL, polynomialdataAddMonomials(), polynomialdataCreate(), polynomialdataEnsureMonomialsSize(), SCIP_ExprData_Quadratic::quadelems, SCIP_CALL, SCIP_EXPR_ABS, SCIP_EXPR_CONST, SCIP_EXPR_COS, SCIP_EXPR_DIV, SCIP_EXPR_EXP, SCIP_EXPR_INTPOWER, SCIP_EXPR_LAST, SCIP_EXPR_LINEAR, SCIP_EXPR_LOG, SCIP_EXPR_MAX, SCIP_EXPR_MIN, SCIP_EXPR_MINUS, SCIP_EXPR_MUL, SCIP_EXPR_PARAM, SCIP_EXPR_PLUS, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_PRODUCT, SCIP_EXPR_QUADRATIC, SCIP_EXPR_REALPOWER, SCIP_EXPR_SIGN, SCIP_EXPR_SIGNPOWER, SCIP_EXPR_SIN, SCIP_EXPR_SQRT, SCIP_EXPR_SQUARE, SCIP_EXPR_SUM, SCIP_EXPR_TAN, SCIP_EXPR_USER, SCIP_EXPR_VARIDX, SCIP_OKAY, SCIP_Real, SCIPexprAddMonomialFactors(), SCIPexprCreateMonomial(), SCIPexprFreeMonomial(), and TRUE.

Referenced by exprgraphNodeSimplify(), and exprsimplifyConvertToPolynomials().

static SCIP_RETCODE exprUnconvertPolynomial	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPROP *	op,
		SCIP_EXPROPDATA *	data,
		int	nchildren,
		void **	children
	)

static

converts polynomial expression back into simpler expression, if possible

Parameters

blkmem	block memory data structure
op	pointer to expression operator
data	pointer to expression data holding polynomial data
nchildren	number of children of operator
children	children array

Definition at line 3735 of file expr.c.

References BMSallocBlockMemory, BMSallocBlockMemoryArray, BMSclearMemoryArray, SCIP_ExprData_Monomial::childidxs, SCIP_ExprData_Monomial::coef, SCIP_QuadElement::coef, SCIP_ExprData_Quadratic::constant, SCIP_ExprData_Polynomial::constant, EPSISINT, EPSROUND, SCIP_ExprData_Monomial::exponents, FALSE, SCIP_QuadElement::idx1, SCIP_QuadElement::idx2, SCIP_ExprData_Quadratic::lincoefs, MAX, MIN, SCIP_ExprData_Polynomial::monomials, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, SCIP_ExprData_Quadratic::nquadelems, NULL, polynomialdataFree(), polynomialdataMergeMonomials(), SCIP_ExprData_Quadratic::quadelems, SCIP_ALLOC, SCIP_EXPR_DEGREEINFINITY, SCIP_EXPR_DIV, SCIP_EXPR_INTPOWER, SCIP_EXPR_LINEAR, SCIP_EXPR_MINUS, SCIP_EXPR_MUL, SCIP_EXPR_PLUS, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_PRODUCT, SCIP_EXPR_QUADRATIC, SCIP_EXPR_REALPOWER, SCIP_EXPR_SQRT, SCIP_EXPR_SQUARE, SCIP_EXPR_SUM, SCIP_OKAY, SCIP_Real, SCIP_ExprData_Quadratic::sorted, and TRUE.

Referenced by exprsimplifyUnconvertPolynomials(), and SCIPexprgraphSimplify().

static SCIP_RETCODE exprsimplifyAddChildren	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR *	expr,
		int	nexprs,
		SCIP_EXPR **	exprs,
		SCIP_Bool	comparechildren,
		SCIP_Real	eps,
		int *	childmap
	)

static

adds copies of expressions to the array of children of a sum, product, linear, quadratic, or polynomial expression

For a sum or product expression, this corresponds to add additional summands and factors, resp. For a linear expression, this corresponds to add each expression with coefficient 1.0. For a quadratic or polynomial expression, only the children array may be enlarged, the expression itself remains the same.

Parameters

blkmem	block memory
expr	quadratic or polynomial expression
nexprs	number of expressions to add
exprs	expressions to add
comparechildren	whether to compare expressions with already existing children (no effect for sum and product)
eps	which epsilon to use when comparing expressions
childmap	array where to store mapping of indices from exprs to children array in expr, or NULL if not of interest

Definition at line 4113 of file expr.c.

References BMSclearMemoryArray, BMSreallocBlockMemoryArray, SCIP_Expr::children, SCIP_Expr::data, FALSE, SCIP_ExprData_Quadratic::lincoefs, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_EXPR_LINEAR, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_PRODUCT, SCIP_EXPR_QUADRATIC, SCIP_EXPR_SUM, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIPerrorMessage, SCIPexprAreEqual(), SCIPexprCopyDeep(), and TRUE.

Referenced by exprsimplifyFlattenPolynomials().

static SCIP_RETCODE exprsimplifyConvertToPolynomials	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR *	expr
	)

static

converts expressions into polynomials, where possible and obvious

Parameters

blkmem	block memory data structure
expr	expression to convert

Definition at line 4232 of file expr.c.

References SCIP_Expr::children, SCIP_Expr::data, exprConvertToPolynomial(), SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_CALL, and SCIP_OKAY.

Referenced by SCIPexprSimplify().

static SCIP_RETCODE exprsimplifyRemoveDuplicatePolynomialChildren	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR *	expr,
		SCIP_Real	eps
	)

static

removes duplicate children in a polynomial expression

Leaves NULL's in children array.

Parameters

blkmem	block memory data structure
expr	expression
eps	threshold for zero

Definition at line 4256 of file expr.c.

References BMSallocBlockMemoryArray, BMSfreeBlockMemoryArray, SCIP_Expr::children, SCIP_Expr::data, FALSE, SCIP_Expr::nchildren, NULL, polynomialdataApplyChildmap(), SCIP_ALLOC, SCIP_Bool, SCIP_EXPR_POLYNOMIAL, SCIP_OKAY, SCIPexprAreEqual(), SCIPexprFreeDeep(), SCIPexprGetOperator(), and TRUE.

Referenced by exprsimplifyFlattenPolynomials().

static SCIP_RETCODE exprsimplifyRemovePolynomialNullChildren	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR *	expr
	)

static

eliminates NULL's in children array and shrinks it to actual size

Parameters

blkmem	block memory data structure
expr	expression

Definition at line 4310 of file expr.c.

References BMSallocBlockMemoryArray, BMSfreeBlockMemoryArray, BMSreallocBlockMemoryArray, SCIP_Expr::children, SCIP_Expr::data, SCIP_Expr::nchildren, NULL, polynomialdataApplyChildmap(), SCIP_ALLOC, SCIP_EXPR_POLYNOMIAL, SCIP_OKAY, and SCIPexprGetOperator().

Referenced by exprsimplifyFlattenPolynomials(), and exprsimplifySeparateLinearFromPolynomial().

static SCIP_RETCODE exprsimplifyRemovePolynomialUnusedChildren	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR *	expr
	)

static

checks which children are still in use and frees those which are not

Parameters

blkmem	block memory data structure
expr	polynomial expression

Definition at line 4376 of file expr.c.

References BMSallocBlockMemoryArray, BMSclearMemoryArray, BMSfreeBlockMemoryArray, SCIP_ExprData_Monomial::childidxs, SCIP_Expr::children, SCIP_Expr::data, SCIP_ExprData_Polynomial::monomials, SCIP_Expr::nchildren, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, NULL, SCIP_ALLOC, SCIP_Bool, SCIP_OKAY, SCIPexprFreeDeep(), and TRUE.

Referenced by exprsimplifyFlattenPolynomials().

static SCIP_RETCODE exprsimplifyFlattenPolynomials	(	BMS_BLKMEM *	blkmem,
		SCIP_MESSAGEHDLR *	messagehdlr,
		SCIP_EXPR *	expr,
		SCIP_Real	eps,
		int	maxexpansionexponent
	)

static

flattens polynomials in polynomials, check for constants in non-polynomials expressions

exprsimplifyConvertToPolynomials should have been called before to eliminate simple polynomial operands.

Parameters

blkmem	block memory data structure
messagehdlr	message handler
expr	expression
eps	threshold, under which values are treat as 0
maxexpansionexponent	maximal exponent for which we still expand non-monomial polynomials

Definition at line 4427 of file expr.c.

References BMSfreeBlockMemoryArray, BMSfreeBlockMemoryArrayNull, BMSreallocBlockMemoryArray, calcGrowSize(), SCIP_ExprData_Monomial::childidxs, SCIP_Expr::children, SCIP_ExprData_Monomial::coef, SCIP_ExprData_Polynomial::constant, SCIP_Expr::data, EPSISINT, SCIP_ExprData_Monomial::exponents, exprsimplifyAddChildren(), exprsimplifyRemoveDuplicatePolynomialChildren(), exprsimplifyRemovePolynomialNullChildren(), exprsimplifyRemovePolynomialUnusedChildren(), FALSE, SCIP_ExprData_Polynomial::monomials, SCIP_Expr::nchildren, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, NULL, SCIP_Expr::op, polynomialdataCreate(), polynomialdataExpandMonomialFactor(), polynomialdataFree(), pow(), SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_EXPR_ABS, SCIP_EXPR_CONST, SCIP_EXPR_COS, SCIP_EXPR_DIV, SCIP_EXPR_EXP, SCIP_EXPR_INTPOWER, SCIP_EXPR_LAST, SCIP_EXPR_LINEAR, SCIP_EXPR_LOG, SCIP_EXPR_MAX, SCIP_EXPR_MIN, SCIP_EXPR_MINUS, SCIP_EXPR_MUL, SCIP_EXPR_PARAM, SCIP_EXPR_PLUS, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_PRODUCT, SCIP_EXPR_QUADRATIC, SCIP_EXPR_REALPOWER, SCIP_EXPR_SIGN, SCIP_EXPR_SIGNPOWER, SCIP_EXPR_SIN, SCIP_EXPR_SQRT, SCIP_EXPR_SQUARE, SCIP_EXPR_SUM, SCIP_EXPR_TAN, SCIP_EXPR_USER, SCIP_EXPR_VARIDX, SCIP_OKAY, SCIP_Real, SCIPdebug, SCIPdebugMessage, SCIPdebugPrintf, SCIPexprEval(), SCIPexprFindMonomialFactor(), SCIPexprFreeDeep(), SCIPexprGetNChildren(), SCIPexprGetNMonomials(), SCIPexprGetOperator(), SCIPexprGetOpReal(), SCIPexprMergeMonomials(), SCIPexprPrint(), SCIPmessagePrintWarning(), SCIP_ExprData_Polynomial::sorted, SCIP_ExprData_Monomial::sorted, and TRUE.

Referenced by SCIPexprSimplify().

static SCIP_RETCODE exprsimplifySeparateLinearFromPolynomial	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR *	expr,
		SCIP_Real	eps,
		int	nvars,
		int *	nlinvars,
		int *	linidxs,
		SCIP_Real *	lincoefs
	)

static

separates linear monomials from an expression, if it is a polynomial expression

Separates only those linear terms whose variable is not used otherwise in the expression.

Parameters

blkmem	block memory data structure
expr	expression
eps	threshold, under which positive values are treat as 0
nvars	number of variables in expression
nlinvars	buffer to store number of linear variables in linear part
linidxs	array to store indices of variables in expression tree which belong to linear part
lincoefs	array to store coefficients of linear part

Definition at line 4756 of file expr.c.

References BMSallocBlockMemoryArray, BMSclearMemoryArray, BMSfreeBlockMemoryArray, SCIP_ExprData_Monomial::childidxs, SCIP_Expr::children, SCIP_ExprData_Monomial::coef, SCIP_Expr::data, SCIP_ExprData_Monomial::exponents, exprsimplifyRemovePolynomialNullChildren(), FALSE, SCIP_ExprData_Polynomial::monomials, SCIP_Expr::nchildren, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, NULL, polynomialdataMergeMonomials(), SCIP_ALLOC, SCIP_CALL, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_VARIDX, SCIP_OKAY, SCIPexprFreeDeep(), SCIPexprGetNChildren(), SCIPexprGetOperator(), SCIPexprGetOpIndex(), and SCIPexprGetVarsUsage().

Referenced by SCIPexprSimplify().

static SCIP_RETCODE exprsimplifyUnconvertPolynomials	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR *	expr
	)

static

converts polynomial expressions back into simpler expressions, where possible

Parameters

blkmem	block memory data structure
expr	expression to convert back

Definition at line 4857 of file expr.c.

References SCIP_Expr::children, SCIP_Expr::data, exprUnconvertPolynomial(), SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_CALL, SCIP_EXPR_POLYNOMIAL, and SCIP_OKAY.

Referenced by SCIPexprSimplify().

static SCIP_DECL_HASHGETKEY ( exprparseVarTableGetKey )

static

Definition at line 4881 of file expr.c.

static SCIP_RETCODE exprparseReadVariable	(	BMS_BLKMEM *	blkmem,
		const char **	str,
		SCIP_EXPR **	expr,
		int *	nvars,
		int **	varnames,
		SCIP_HASHTABLE *	vartable,
		SCIP_Real	coefficient,
		const char *	varnameendptr
	)

static

parses a variable name from a string and creates corresponding expression

Creates a new variable index if variable not seen before, updates varnames and vartable structures.

Parameters

blkmem	block memory data structure
str	pointer to the string to be parsed
expr	buffer to store pointer to created expression
nvars	running number of encountered variables so far
varnames	pointer to buffer to store new variable names
vartable	hash table for variable names and corresponding expression index
coefficient	coefficient to be used when creating the expression
varnameendptr	if a <varname> should be parsed, set this to NULL. Then, str points to the '<' else, str should point to the first letter of the varname, and varnameendptr should point one char behind the last char of the variable name

Definition at line 4891 of file expr.c.

References NULL, SCIP_CALL, SCIP_EXPR_VARIDX, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_READERROR, SCIP_VARTYPE_BINARY_CHAR, SCIP_VARTYPE_CONTINUOUS_CHAR, SCIP_VARTYPE_IMPLINT_CHAR, SCIP_VARTYPE_INTEGER_CHAR, SCIPerrorMessage, SCIPexprCreate(), SCIPexprCreateLinear(), SCIPhashtableInsert(), and SCIPhashtableRetrieve().

Referenced by exprParse().

static SCIP_RETCODE exprparseFindClosingParenthesis	(	const char *	str,
		const char **	endptr,
		int	length
	)

static

if str[0] points to an opening parenthesis, this function sets endptr to point to the matching closing bracket in str

Searches for at most length characters.

Parameters

str	pointer to the string to be parsed
endptr	pointer to point to the closing parenthesis
length	length of the string to be parsed

Definition at line 4984 of file expr.c.

References SCIP_OKAY, SCIP_READERROR, and SCIPerrorMessage.

Referenced by exprParse().

static SCIP_RETCODE exprparseFindSeparatingComma	(	const char *	str,
		const char **	endptr,
		int	length
	)

static

this function sets endptr to point to the next separating comma in str

That is, for a given string like "x+f(x,y),z", endptr will point to the comma before "z"

Searches for at most length characters.

Parameters

str	pointer to the string to be parsed
endptr	pointer to point to the comma
length	length of the string to be parsed

Definition at line 5023 of file expr.c.

References SCIP_OKAY, SCIP_READERROR, and SCIPerrorMessage.

Referenced by exprParse().

static SCIP_RETCODE exprParse	(	BMS_BLKMEM *	blkmem,
		SCIP_MESSAGEHDLR *	messagehdlr,
		SCIP_EXPR **	expr,
		const char *	str,
		int	length,
		const char *	lastchar,
		int *	nvars,
		int **	varnames,
		SCIP_HASHTABLE *	vartable,
		int	recursiondepth
	)

static

parses an expression from a string

Parameters

blkmem	block memory data structure
messagehdlr	message handler
expr	buffer to store pointer to created expression
str	pointer to the string to be parsed
length	length of the string to be parsed
lastchar	pointer to the last char of str that should be parsed
nvars	running number of encountered variables so far
varnames	pointer to buffer to store new variable names
vartable	hash table for variable names and corresponding expression index
recursiondepth	current recursion depth

Definition at line 5055 of file expr.c.

References EPSISINT, exprparseFindClosingParenthesis(), exprparseFindSeparatingComma(), exprparseReadVariable(), NULL, SCIP_CALL, SCIP_EXPR_ABS, SCIP_EXPR_CONST, SCIP_EXPR_COS, SCIP_EXPR_DIV, SCIP_EXPR_EXP, SCIP_EXPR_INTPOWER, SCIP_EXPR_LOG, SCIP_EXPR_MUL, SCIP_EXPR_REALPOWER, SCIP_EXPR_SIGNPOWER, SCIP_EXPR_SIN, SCIP_EXPR_SQRT, SCIP_EXPR_SQUARE, SCIP_EXPR_TAN, SCIP_OKAY, SCIP_READERROR, SCIP_Real, SCIPdebug, SCIPdebugMessage, SCIPerrorMessage, SCIPexprAdd(), SCIPexprCreate(), SCIPexprGetOperator(), SCIPexprGetOpReal(), SCIPexprMulConstant(), SCIPexprPrint(), SCIPmessagePrintInfo(), SCIPstrToIntValue(), and SCIPstrToRealValue().

Referenced by SCIPexprParse().

SCIP_EXPROP SCIPexprGetOperator ( SCIP_EXPR * expr )

gives operator of expression

Parameters

expr	expression

Definition at line 5573 of file expr.c.

References NULL, and SCIP_Expr::op.

Referenced by addUserEstimator(), analyzeTree(), atomic_userexpr< Type >::atomic_userexpr(), eval(), exprIsNonSmooth(), exprParse(), exprsimplifyFlattenPolynomials(), exprsimplifyRemoveDuplicatePolynomialChildren(), exprsimplifyRemovePolynomialNullChildren(), exprsimplifySeparateLinearFromPolynomial(), generateCut(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateUnderestimatorParallelYFacets(), getCoeffsAndConstantFromLinearExpr(), getLinearAndQuadraticCoefs(), initSepaDataCreateVred(), printExpr(), printRowNl(), readConstraints(), readExpression(), readObjective(), SCIPexprAdd(), SCIPexprMulConstant(), and SCIPwritePip().

int SCIPexprGetNChildren ( SCIP_EXPR * expr )

gives number of children of an expression

Parameters

expr	expression

Definition at line 5583 of file expr.c.

References SCIP_Expr::nchildren, and NULL.

Referenced by addUserEstimator(), analyzeTree(), atomic_userexpr< Type >::atomic_userexpr(), eval(), evalUser(), exprIsNonSmooth(), exprsimplifyFlattenPolynomials(), exprsimplifySeparateLinearFromPolynomial(), getCoeffsAndConstantFromLinearExpr(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), readObjective(), SCIPexprAdd(), SCIPexprMulConstant(), and SCIPwritePip().

SCIP_EXPR** SCIPexprGetChildren ( SCIP_EXPR * expr )

gives pointer to array with children of an expression

Parameters

expr	expression

Definition at line 5593 of file expr.c.

References SCIP_Expr::children, and NULL.

Referenced by addUserEstimator(), analyzeTree(), eval(), exprIsNonSmooth(), getCoeffsAndConstantFromLinearExpr(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), readObjective(), SCIPexprAdd(), and SCIPwritePip().

int SCIPexprGetOpIndex ( SCIP_EXPR * expr )

gives index belonging to a SCIP_EXPR_VARIDX or SCIP_EXPR_PARAM operand

Parameters

expr	expression

Definition at line 5603 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, SCIP_EXPR_PARAM, and SCIP_EXPR_VARIDX.

Referenced by eval(), exprsimplifySeparateLinearFromPolynomial(), getCoeffsAndConstantFromLinearExpr(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), and readObjective().

SCIP_Real SCIPexprGetOpReal ( SCIP_EXPR * expr )

gives real belonging to a SCIP_EXPR_CONST operand

Parameters

expr	expression

Definition at line 5614 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_CONST.

Referenced by eval(), exprParse(), exprsimplifyFlattenPolynomials(), getCoeffsAndConstantFromLinearExpr(), printExpr(), printRowNl(), readExpression(), SCIPexprAdd(), and SCIPexprMulConstant().

void* SCIPexprGetOpData ( SCIP_EXPR * expr )

gives void* belonging to a complex operand

Parameters

expr	expression

Definition at line 5625 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_SUM.

SCIP_Real SCIPexprGetRealPowerExponent ( SCIP_EXPR * expr )

gives exponent belonging to a SCIP_EXPR_REALPOWER expression

Parameters

expr	expression

Definition at line 5636 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_REALPOWER.

Referenced by eval(), printExpr(), printRowNl(), and SCIPwritePip().

int SCIPexprGetIntPowerExponent ( SCIP_EXPR * expr )

gives exponent belonging to a SCIP_EXPR_INTPOWER expression

Parameters

expr	expression

Definition at line 5647 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_INTPOWER.

Referenced by eval(), printExpr(), printRowNl(), and SCIPwritePip().

SCIP_Real SCIPexprGetSignPowerExponent ( SCIP_EXPR * expr )

gives exponent belonging to a SCIP_EXPR_SIGNPOWER expression

Parameters

expr	expression

Definition at line 5658 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_SIGNPOWER.

Referenced by atomic_signpower< Type >::atomic_signpower(), evalSignPower(), and printExpr().

SCIP_Real* SCIPexprGetLinearCoefs ( SCIP_EXPR * expr )

gives linear coefficients belonging to a SCIP_EXPR_LINEAR expression

Parameters

expr	expression

Definition at line 5669 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, SCIP_EXPR_LINEAR, and SCIP_Real.

Referenced by eval(), getCoeffsAndConstantFromLinearExpr(), printExpr(), printRowNl(), and SCIPexprAdd().

SCIP_Real SCIPexprGetLinearConstant ( SCIP_EXPR * expr )

gives constant belonging to a SCIP_EXPR_LINEAR expression

Parameters

expr	expression

Definition at line 5682 of file expr.c.

References SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_EXPR_LINEAR, and SCIP_Real.

Referenced by eval(), getCoeffsAndConstantFromLinearExpr(), printExpr(), printRowNl(), and SCIPexprAdd().

SCIP_QUADELEM* SCIPexprGetQuadElements ( SCIP_EXPR * expr )

gives quadratic elements belonging to a SCIP_EXPR_QUADRATIC expression

Parameters

expr	quadratic expression

Definition at line 5695 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_QUADRATIC.

Referenced by eval(), printExpr(), and printRowNl().

SCIP_Real SCIPexprGetQuadConstant ( SCIP_EXPR * expr )

gives constant belonging to a SCIP_EXPR_QUADRATIC expression

Parameters

expr	quadratic expression

Definition at line 5707 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_QUADRATIC.

Referenced by eval(), printExpr(), and printRowNl().

SCIP_Real* SCIPexprGetQuadLinearCoefs ( SCIP_EXPR * expr )

gives linear coefficients belonging to a SCIP_EXPR_QUADRATIC expression can be NULL if all coefficients are 0.0

Parameters

expr	quadratic expression

Definition at line 5720 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_QUADRATIC.

Referenced by eval(), printExpr(), and printRowNl().

int SCIPexprGetNQuadElements ( SCIP_EXPR * expr )

gives number of quadratic elements belonging to a SCIP_EXPR_QUADRATIC expression

Parameters

expr	quadratic expression

Definition at line 5732 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_QUADRATIC.

Referenced by eval(), printExpr(), and printRowNl().

SCIP_EXPRDATA_MONOMIAL** SCIPexprGetMonomials ( SCIP_EXPR * expr )

gives the monomials belonging to a SCIP_EXPR_POLYNOMIAL expression

Parameters

expr	expression

Definition at line 5744 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_POLYNOMIAL.

Referenced by eval(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), readObjective(), and SCIPwritePip().

int SCIPexprGetNMonomials ( SCIP_EXPR * expr )

gives the number of monomials belonging to a SCIP_EXPR_POLYNOMIAL expression

Parameters

expr	expression

Definition at line 5756 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_POLYNOMIAL.

Referenced by eval(), exprsimplifyFlattenPolynomials(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), readConstraints(), readObjective(), and SCIPwritePip().

SCIP_Real SCIPexprGetPolynomialConstant ( SCIP_EXPR * expr )

gives the constant belonging to a SCIP_EXPR_POLYNOMIAL expression

Parameters

expr	expression

Definition at line 5768 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_POLYNOMIAL.

Referenced by eval(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), and readObjective().

SCIP_Real SCIPexprGetMonomialCoef ( SCIP_EXPRDATA_MONOMIAL * monomial )

gets coefficient of a monomial

Parameters

monomial monomial

Definition at line 5780 of file expr.c.

References SCIP_ExprData_Monomial::coef, and NULL.

Referenced by eval(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), readObjective(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().

int SCIPexprGetMonomialNFactors ( SCIP_EXPRDATA_MONOMIAL * monomial )

gets number of factors of a monomial

Parameters

monomial monomial

Definition at line 5790 of file expr.c.

References SCIP_ExprData_Monomial::nfactors, and NULL.

Referenced by eval(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), readObjective(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), and SCIPwritePip().

int* SCIPexprGetMonomialChildIndices ( SCIP_EXPRDATA_MONOMIAL * monomial )

gets indices of children corresponding to factors of a monomial

Parameters

monomial monomial

Definition at line 5800 of file expr.c.

References SCIP_ExprData_Monomial::childidxs, and NULL.

Referenced by eval(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), readObjective(), and reformulate().

SCIP_Real* SCIPexprGetMonomialExponents ( SCIP_EXPRDATA_MONOMIAL * monomial )

gets exponents in factors of a monomial

Parameters

monomial monomial

Definition at line 5810 of file expr.c.

References SCIP_ExprData_Monomial::exponents, and NULL.

Referenced by eval(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), readObjective(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), and SCIPwritePip().

SCIP_USEREXPRDATA* SCIPexprGetUserData ( SCIP_EXPR * expr )

gets user data of a user expression

Definition at line 5820 of file expr.c.

References SCIP_Expr::data, and NULL.

SCIP_Bool SCIPexprHasUserEstimator ( SCIP_EXPR * expr )

indicates whether a user expression has the estimator callback defined

Definition at line 5831 of file expr.c.

References SCIP_Expr::data, and NULL.

Referenced by addUserEstimator().

SCIP_EXPRINTCAPABILITY SCIPexprGetUserEvalCapability ( SCIP_EXPR * expr )

gives the evaluation capability of a user expression

Definition at line 5842 of file expr.c.

References SCIP_Expr::data, and NULL.

Referenced by analyzeTree().

SCIP_RETCODE SCIPexprCreate	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR **	expr,
		SCIP_EXPROP	op,
			...
	)

creates a simple expression

Parameters

blkmem	block memory data structure
expr	pointer to buffer for expression address
op	operand of expression

Definition at line 5853 of file expr.c.

References BMSallocBlockMemoryArray, BMSduplicateBlockMemoryArray, SCIP_Expr::data, exprCreate(), NULL, SCIP_ALLOC, SCIP_CALL, SCIP_EXPR_ABS, SCIP_EXPR_CONST, SCIP_EXPR_COS, SCIP_EXPR_DIV, SCIP_EXPR_EXP, SCIP_EXPR_INTPOWER, SCIP_EXPR_LAST, SCIP_EXPR_LINEAR, SCIP_EXPR_LOG, SCIP_EXPR_MAX, SCIP_EXPR_MIN, SCIP_EXPR_MINUS, SCIP_EXPR_MUL, SCIP_EXPR_PARAM, SCIP_EXPR_PLUS, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_PRODUCT, SCIP_EXPR_QUADRATIC, SCIP_EXPR_REALPOWER, SCIP_EXPR_SIGN, SCIP_EXPR_SIGNPOWER, SCIP_EXPR_SIN, SCIP_EXPR_SQRT, SCIP_EXPR_SQUARE, SCIP_EXPR_SUM, SCIP_EXPR_TAN, SCIP_EXPR_USER, SCIP_EXPR_VARIDX, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIPABORT, and SCIPerrorMessage.

Referenced by createConsFromQuadTerm(), createExprtreeFromMonomial(), createNlRow(), exprgraphNodeCreateExpr(), exprParse(), exprparseReadVariable(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateUnderestimatorParallelYFacets(), initSepaData(), initSepaDataCreateVred(), readExpression(), readNonlinearExprs(), readPolynomial(), removeFixedVariables(), SCIPexprAdd(), SCIPexprgraphGetSeparableTrees(), SCIPexprgraphGetSumTrees(), SCIPexprMulConstant(), SCIPexprtreeAddExpr(), SCIPexprtreeRemoveFixedVars(), and SCIPwritePip().

SCIP_RETCODE SCIPexprCopyDeep	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR **	targetexpr,
		SCIP_EXPR *	sourceexpr
	)

copies an expression including its children

Parameters

blkmem	block memory data structure
targetexpr	buffer to store pointer to copied expression
sourceexpr	expression to copy

Definition at line 6019 of file expr.c.

References BMSallocBlockMemoryArray, BMSduplicateBlockMemory, SCIP_Expr::children, SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, and SCIPexprCopyDeep().

Referenced by exprsimplifyAddChildren(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateUnderestimatorParallelYFacets(), initSepaData(), initSepaDataCreateVred(), SCIPexprCopyDeep(), SCIPexprintCompile(), SCIPexprSubstituteVars(), SCIPexprtreeAddExpr(), SCIPexprtreeCopy(), and SCIPexprtreeSubstituteVars().

void SCIPexprFreeDeep	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR **	expr
	)

frees an expression including its children

Parameters

blkmem	block memory data structure
expr	pointer to expression to free

Definition at line 6061 of file expr.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, NULL, and SCIPexprFreeDeep().

Referenced by exprsimplifyFlattenPolynomials(), exprsimplifyRemoveDuplicatePolynomialChildren(), exprsimplifyRemovePolynomialUnusedChildren(), exprsimplifySeparateLinearFromPolynomial(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateUnderestimatorParallelYFacets(), initSepaData(), initSepaDataCreateVred(), readExpression(), removeFixedVariables(), SCIPexprAdd(), SCIPexprFreeDeep(), SCIPexprintCompile(), SCIPexprintFreeData(), SCIPexprMulConstant(), SCIPexprSubstituteVars(), SCIPexprtreeFree(), SCIPexprtreeRemoveFixedVars(), and SCIPexprtreeSubstituteVars().

void SCIPexprFreeShallow	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR **	expr
	)

frees an expression but not its children

Parameters

blkmem	block memory data structure
expr	pointer to expression to free

Definition at line 6099 of file expr.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArrayNull, and NULL.

Referenced by SCIPexprAdd().

SCIP_RETCODE SCIPexprAdd	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR **	expr,
		SCIP_Real	coef1,
		SCIP_EXPR *	term1,
		SCIP_Real	coef2,
		SCIP_EXPR *	term2,
		SCIP_Real	constant
	)

creates an expression from the addition of two given expression, with coefficients, and a constant

The given expressions may be modified or freed, otherwise it will be used a child expression. Favors creation and maintaining of SCIP_EXPR_LINEAR over SCIP_EXPR_PLUS or SCIP_EXPR_SUM.

Parameters

blkmem	block memory data structure
expr	pointer to store pointer to created expression
coef1	coefficient of first term
term1	expression of first term, or NULL
coef2	coefficient of second term
term2	expression of second term, or NULL
constant	constant term to add

Definition at line 6124 of file expr.c.

References SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_CALL, SCIP_EXPR_CONST, SCIP_EXPR_LINEAR, SCIP_OKAY, SCIP_Real, SCIPexprAddToLinear(), SCIPexprCreate(), SCIPexprCreateLinear(), SCIPexprFreeDeep(), SCIPexprFreeShallow(), SCIPexprGetChildren(), SCIPexprGetLinearCoefs(), SCIPexprGetLinearConstant(), SCIPexprGetNChildren(), SCIPexprGetOperator(), and SCIPexprGetOpReal().

Referenced by exprParse(), and readExpression().

SCIP_RETCODE SCIPexprMulConstant	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR **	expr,
		SCIP_EXPR *	term,
		SCIP_Real	factor
	)

creates an expression from the multiplication of an expression with a constant

The given expressions may be modified or freed, otherwise it will be used a child expression. Favors creation and maintaining SCIP_EXPR_LINEAR over SCIP_EXPR_PLUS or SCIP_EXPR_SUM.

Parameters

blkmem	block memory data structure
expr	buffer to store pointer to created expression
term	term to multiply by factor
factor	factor

Definition at line 6282 of file expr.c.

References SCIP_ExprData_Monomial::coef, SCIP_QuadElement::coef, SCIP_ExprData_Quadratic::constant, SCIP_ExprData_Polynomial::constant, SCIP_Expr::data, SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprData_Polynomial::monomials, SCIP_Expr::nchildren, NULL, SCIP_ExprData_Quadratic::quadelems, SCIP_CALL, SCIP_EXPR_CONST, SCIP_EXPR_LINEAR, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_QUADRATIC, SCIP_OKAY, SCIP_Real, SCIPexprCreate(), SCIPexprCreateLinear(), SCIPexprFreeDeep(), SCIPexprGetNChildren(), SCIPexprGetOperator(), and SCIPexprGetOpReal().

Referenced by exprParse(), and readExpression().

SCIP_RETCODE SCIPexprCreateLinear	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR **	expr,
		int	nchildren,
		SCIP_EXPR **	children,
		SCIP_Real *	coefs,
		SCIP_Real	constant
	)

creates a SCIP_EXPR_LINEAR expression that is (affine) linear in its children: constant + sum_i coef_i child_i

Parameters

blkmem	block memory data structure
expr	pointer to buffer for expression address
nchildren	number of children
children	children of expression
coefs	coefficients of children
constant	constant part

Definition at line 6380 of file expr.c.

References BMSallocBlockMemoryArray, BMScopyMemoryArray, BMSduplicateBlockMemoryArray, exprCreate(), NULL, SCIP_ALLOC, SCIP_CALL, SCIP_EXPR_LINEAR, SCIP_OKAY, and SCIP_Real.

Referenced by createNlRow(), exprgraphNodeCreateExpr(), exprparseReadVariable(), initSepaData(), initSepaDataCreateVred(), readExpression(), removeFixedVariables(), SCIPexprAdd(), SCIPexprgraphGetSeparableTrees(), SCIPexprMulConstant(), and SCIPexprtreeRemoveFixedVars().

SCIP_RETCODE SCIPexprAddToLinear	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR *	expr,
		int	nchildren,
		SCIP_Real *	coefs,
		SCIP_EXPR **	children,
		SCIP_Real	constant
	)

adds new terms to a linear expression

Parameters

blkmem	block memory
expr	linear expression
nchildren	number of children to add
coefs	coefficients of additional children
children	additional children expressions
constant	constant to add

Definition at line 6417 of file expr.c.

References BMScopyMemoryArray, BMSreallocBlockMemoryArray, SCIP_Expr::children, SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_ALLOC, SCIP_EXPR_LINEAR, SCIP_OKAY, and SCIP_Real.

Referenced by SCIPexprAdd().

SCIP_RETCODE SCIPexprCreateQuadratic	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR **	expr,
		int	nchildren,
		SCIP_EXPR **	children,
		SCIP_Real	constant,
		SCIP_Real *	lincoefs,
		int	nquadelems,
		SCIP_QUADELEM *	quadelems
	)

creates a SCIP_EXPR_QUADRATIC expression: constant + sum_i coef_i child_i + sum_i coef_i child1_i child2_i

Parameters

blkmem	block memory data structure
expr	pointer to buffer for expression address
nchildren	number of children
children	children of expression
constant	constant
lincoefs	linear coefficients of children, or NULL if all 0.0
nquadelems	number of quadratic elements
quadelems	quadratic elements specifying coefficients and child indices

Definition at line 6462 of file expr.c.

References BMSduplicateBlockMemoryArray, exprCreate(), NULL, quadraticdataCreate(), SCIP_ALLOC, SCIP_CALL, SCIP_EXPR_QUADRATIC, and SCIP_OKAY.

Referenced by createConsFromQuadTerm(), exprgraphNodeCreateExpr(), readExpression(), readNonlinearExprs(), and SCIPexprgraphGetSeparableTrees().

void SCIPexprSortQuadElems ( SCIP_EXPR * expr )

ensures that quadratic elements of a quadratic expression are sorted

Parameters

expr	quadratic expression

Definition at line 6498 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, quadraticdataSort(), and SCIP_EXPR_QUADRATIC.

Referenced by eval(), and SCIPexprAreEqual().

SCIP_RETCODE SCIPexprCreatePolynomial	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR **	expr,
		int	nchildren,
		SCIP_EXPR **	children,
		int	nmonomials,
		SCIP_EXPRDATA_MONOMIAL **	monomials,
		SCIP_Real	constant,
		SCIP_Bool	copymonomials
	)

creates a SCIP_EXPR_POLYNOMIAL expression from an array of monomials: constant + sum_i monomial_i

Parameters

blkmem	block memory data structure
expr	pointer to buffer for expression address
nchildren	number of children
children	children of expression
nmonomials	number of monomials
monomials	monomials
constant	constant part
copymonomials	should monomials by copied or ownership be assumed?

Definition at line 6510 of file expr.c.

References BMSduplicateBlockMemoryArray, exprCreate(), NULL, polynomialdataCreate(), SCIP_ALLOC, SCIP_CALL, SCIP_EXPR_POLYNOMIAL, and SCIP_OKAY.

Referenced by createExprtreeFromMonomial(), createNlRow(), exprgraphNodeCreateExpr(), readPolynomial(), SCIPexprgraphGetSeparableTrees(), and SCIPexprgraphGetSumTrees().

SCIP_RETCODE SCIPexprAddMonomials	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR *	expr,
		int	nmonomials,
		SCIP_EXPRDATA_MONOMIAL **	monomials,
		SCIP_Bool	copymonomials
	)

adds an array of monomials to a SCIP_EXPR_POLYNOMIAL expression

Parameters

blkmem	block memory of expression
expr	expression
nmonomials	number of monomials to add
monomials	the monomials to add
copymonomials	should monomials by copied or ownership be assumed?

Definition at line 6545 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, polynomialdataAddMonomials(), SCIP_CALL, SCIP_EXPR_POLYNOMIAL, and SCIP_OKAY.

void SCIPexprChgPolynomialConstant	(	SCIP_EXPR *	expr,
		SCIP_Real	constant
	)

changes the constant in a SCIP_EXPR_POLYNOMIAL expression

Parameters

expr	expression
constant	new value for constant

Definition at line 6567 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_POLYNOMIAL.

void SCIPexprMultiplyPolynomialByConstant	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR *	expr,
		SCIP_Real	factor
	)

multiplies each summand of a polynomial by a given constant

Parameters

blkmem	block memory
expr	polynomial expression
factor	constant factor

Definition at line 6580 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, polynomialdataMultiplyByConstant(), and SCIP_EXPR_POLYNOMIAL.

SCIP_RETCODE SCIPexprMultiplyPolynomialByMonomial	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR *	expr,
		SCIP_EXPRDATA_MONOMIAL *	factor,
		int *	childmap
	)

multiplies each summand of a polynomial by a given monomial

Parameters

blkmem	block memory
expr	polynomial expression
factor	monomial factor
childmap	map children in factor to children in expr, or NULL for 1:1

Definition at line 6594 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, polynomialdataMultiplyByMonomial(), SCIP_CALL, SCIP_EXPR_POLYNOMIAL, and SCIP_OKAY.

SCIP_RETCODE SCIPexprMultiplyPolynomialByPolynomial	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR *	expr,
		SCIP_EXPR *	factor,
		int *	childmap
	)

multiplies this polynomial by a polynomial

Factor needs to be different from expr. Children of factor need to be children of expr already, w.r.t. an optional mapping of child indices.

Parameters

blkmem	block memory
expr	polynomial expression
factor	polynomial factor
childmap	map children in factor to children in expr, or NULL for 1:1

Definition at line 6617 of file expr.c.

References SCIP_Expr::children, SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, polynomialdataMultiplyByPolynomial(), SCIP_CALL, SCIP_EXPR_POLYNOMIAL, SCIP_OKAY, and SCIPexprAreEqual().

SCIP_RETCODE SCIPexprPolynomialPower	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR *	expr,
		int	exponent
	)

takes a power of the polynomial

Exponent need to be an integer. Polynomial needs to be a monomial, if exponent is negative.

Parameters

blkmem	block memory
expr	polynomial expression
exponent	exponent of power operation

Definition at line 6663 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, polynomialdataPower(), SCIP_CALL, SCIP_EXPR_POLYNOMIAL, and SCIP_OKAY.

void SCIPexprMergeMonomials	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR *	expr,
		SCIP_Real	eps,
		SCIP_Bool	mergefactors
	)

merges monomials in a polynomial expression that differ only in coefficient into a single monomial

Eliminates monomials with coefficient between -eps and eps.

Parameters

blkmem	block memory
expr	polynomial expression
eps	threshold under which numbers are treat as zero
mergefactors	whether to merge factors in monomials too

Definition at line 6683 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, polynomialdataMergeMonomials(), and SCIP_EXPR_POLYNOMIAL.

Referenced by exprsimplifyFlattenPolynomials().

SCIP_Bool SCIPexprAreMonomialsEqual	(	SCIP_EXPRDATA_MONOMIAL *	monomial1,
		SCIP_EXPRDATA_MONOMIAL *	monomial2,
		SCIP_Real	eps
	)

checks if two monomials are equal

Parameters

monomial1	first monomial
monomial2	second monomial
eps	threshold under which numbers are treated as 0.0

Definition at line 6698 of file expr.c.

References SCIP_ExprData_Monomial::childidxs, SCIP_ExprData_Monomial::coef, EPSEQ, SCIP_ExprData_Monomial::exponents, FALSE, SCIP_ExprData_Monomial::nfactors, NULL, SCIPexprSortMonomialFactors(), and TRUE.

Referenced by exprgraphFindParentByOperator(), and SCIPexprAreEqual().

void SCIPexprChgMonomialCoef	(	SCIP_EXPRDATA_MONOMIAL *	monomial,
		SCIP_Real	newcoef
	)

changes coefficient of monomial

Parameters

monomial	monomial
newcoef	new coefficient

Definition at line 6729 of file expr.c.

References SCIP_ExprData_Monomial::coef, and NULL.

Referenced by polynomialdataMultiplyByConstant(), and polynomialdataMultiplyByPolynomial().

SCIP_RETCODE SCIPexprAddMonomialFactors	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRDATA_MONOMIAL *	monomial,
		int	nfactors,
		int *	childidxs,
		SCIP_Real *	exponents
	)

adds factors to a monomial

Parameters

blkmem	block memory
monomial	monomial
nfactors	number of factors to add
childidxs	indices of children corresponding to factors
exponents	exponent in each factor

Definition at line 6740 of file expr.c.

References BMScopyMemoryArray, SCIP_ExprData_Monomial::childidxs, SCIP_ExprData_Monomial::exponents, monomialdataEnsureFactorsSize(), SCIP_ExprData_Monomial::nfactors, NULL, SCIP_CALL, SCIP_OKAY, and SCIP_ExprData_Monomial::sorted.

Referenced by exprConvertToPolynomial(), polynomialdataExpandMonomialFactor(), and SCIPexprMultiplyMonomialByMonomial().

SCIP_RETCODE SCIPexprMultiplyMonomialByMonomial	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRDATA_MONOMIAL *	monomial,
		SCIP_EXPRDATA_MONOMIAL *	factor,
		int *	childmap
	)

multiplies a monomial with a monomial

Parameters

blkmem	block memory
monomial	monomial
factor	factor monomial
childmap	map to apply to children in factor, or NULL for 1:1

Definition at line 6769 of file expr.c.

References SCIP_ExprData_Monomial::childidxs, SCIP_ExprData_Monomial::coef, SCIP_ExprData_Monomial::exponents, SCIP_ExprData_Monomial::nfactors, NULL, SCIP_CALL, SCIP_OKAY, and SCIPexprAddMonomialFactors().

Referenced by polynomialdataMultiplyByMonomial(), and polynomialdataMultiplyByPolynomial().

void SCIPexprMonomialPower	(	SCIP_EXPRDATA_MONOMIAL *	monomial,
		int	exponent
	)

replaces the monomial by a power of the monomial

Allows only integers as exponent.

Parameters

monomial	monomial
exponent	integer exponent of power operation

Definition at line 6804 of file expr.c.

References SCIP_ExprData_Monomial::coef, SCIP_ExprData_Monomial::exponents, SCIP_ExprData_Monomial::nfactors, NULL, pow(), and SCIP_Real.

Referenced by polynomialdataPower().

void SCIPexprMergeMonomialFactors	(	SCIP_EXPRDATA_MONOMIAL *	monomial,
		SCIP_Real	eps
	)

merges factors that correspond to the same child by adding exponents

Eliminates factors with exponent between -eps and eps.

Parameters

monomial	monomial
eps	threshold under which numbers are treated as 0.0

Definition at line 6834 of file expr.c.

References SCIP_ExprData_Monomial::childidxs, SCIP_ExprData_Monomial::coef, EPSEQ, EPSISINT, EPSROUND, EPSZ, SCIP_ExprData_Monomial::exponents, SCIP_ExprData_Monomial::nfactors, NULL, and SCIPexprSortMonomialFactors().

Referenced by polynomialdataMergeMonomials().

void SCIPexprSortMonomials ( SCIP_EXPR * expr )

ensures that monomials of a polynomial are sorted

Parameters

expr	polynomial expression

Definition at line 6901 of file expr.c.

References SCIP_Expr::data, NULL, SCIP_Expr::op, polynomialdataSortMonomials(), and SCIP_EXPR_POLYNOMIAL.

Referenced by SCIPexprAreEqual().

SCIP_RETCODE SCIPexprCreateMonomial	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRDATA_MONOMIAL **	monomial,
		SCIP_Real	coef,
		int	nfactors,
		int *	childidxs,
		SCIP_Real *	exponents
	)

creates a monomial

Parameters

blkmem	block memory
monomial	buffer where to store pointer to new monomial
coef	coefficient of monomial
nfactors	number of factors in monomial
childidxs	indices of children corresponding to factors, or NULL if identity
exponents	exponent in each factor, or NULL if all 1.0

Definition at line 6913 of file expr.c.

References BMSallocBlockMemory, BMSallocBlockMemoryArray, BMSduplicateBlockMemoryArray, NULL, SCIP_ALLOC, and SCIP_OKAY.

Referenced by createExprtreeFromMonomial(), createNlRow(), exprConvertToPolynomial(), polynomialdataAddMonomials(), polynomialdataCopy(), polynomialdataCreate(), polynomialdataMultiplyByMonomial(), polynomialdataMultiplyByPolynomial(), readPolynomial(), reformulate(), SCIPexprgraphGetSeparableTrees(), and SCIPexprgraphGetSumTrees().

void SCIPexprFreeMonomial	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRDATA_MONOMIAL **	monomial
	)

frees a monomial

Parameters

blkmem	block memory
monomial	pointer to monomial that should be freed

Definition at line 6970 of file expr.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, and NULL.

Referenced by exprConvertToPolynomial(), polynomialdataExpandMonomialFactor(), polynomialdataFree(), polynomialdataMergeMonomials(), polynomialdataMultiplyByConstant(), and polynomialdataPower().

void SCIPexprSortMonomialFactors ( SCIP_EXPRDATA_MONOMIAL * monomial )

ensures that factors in a monomial are sorted

Parameters

monomial monomial

Definition at line 6994 of file expr.c.

References SCIP_ExprData_Monomial::childidxs, SCIP_ExprData_Monomial::exponents, SCIP_ExprData_Monomial::nfactors, NULL, SCIPsortIntReal(), SCIP_ExprData_Monomial::sorted, and TRUE.

Referenced by SCIP_DECL_SORTPTRCOMP(), SCIPexprAreMonomialsEqual(), SCIPexprFindMonomialFactor(), and SCIPexprMergeMonomialFactors().

SCIP_Bool SCIPexprFindMonomialFactor	(	SCIP_EXPRDATA_MONOMIAL *	monomial,
		int	childidx,
		int *	pos
	)

finds a factor corresponding to a given child index in a monomial

Note that if the factors have not been merged, the position of some factor corresponding to a given child is given. Returns TRUE if a factor is found, FALSE if not.

Parameters

monomial	monomial
childidx	index of the child which factor to search for
pos	buffer to store position of factor

Definition at line 7014 of file expr.c.

References SCIP_ExprData_Monomial::childidxs, FALSE, SCIP_ExprData_Monomial::nfactors, NULL, SCIPexprSortMonomialFactors(), and SCIPsortedvecFindInt().

Referenced by exprgraphNodeSimplify(), and exprsimplifyFlattenPolynomials().

SCIP_RETCODE SCIPexprCreateUser	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR **	expr,
		int	nchildren,
		SCIP_EXPR **	children,
		SCIP_USEREXPRDATA *	data,
		SCIP_EXPRINTCAPABILITY	evalcapability,
		SCIP_DECL_USEREXPREVAL((*eval))	,
		SCIP_DECL_USEREXPRINTEVAL((*inteval))	,
		SCIP_DECL_USEREXPRCURV((*curv))	,
		SCIP_DECL_USEREXPRPROP((*prop))	,
		SCIP_DECL_USEREXPRESTIMATE((*estimate))	,
		SCIP_DECL_USEREXPRCOPYDATA((*copydata))	,
		SCIP_DECL_USEREXPRFREEDATA((*freedata))
	)

creates a user expression

Parameters

blkmem	block memory data structure
expr	pointer to buffer for expression address
nchildren	number of children
children	children of expression
data	user data for expression, expression assumes ownership
evalcapability	capability of evaluation functions (partially redundant, currently)

Definition at line 7031 of file expr.c.

References BMSallocBlockMemory, BMSduplicateBlockMemoryArray, eval(), SCIP_ExprData_User::evalcapability, exprCreate(), NULL, SCIP_ALLOC, SCIP_CALL, SCIP_EXPR_USER, SCIP_EXPRINTCAPABILITY_FUNCVALUE, SCIP_EXPRINTCAPABILITY_INTFUNCVALUE, SCIP_OKAY, and SCIP_ExprData_User::userdata.

Referenced by exprgraphNodeCreateExpr().

SCIP_Bool SCIPexprHasParam ( SCIP_EXPR * expr )

indicates whether the expression contains a SCIP_EXPR_PARAM

Parameters

expr	expression

Definition at line 7089 of file expr.c.

References SCIP_Expr::children, FALSE, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_EXPR_PARAM, SCIPexprHasParam(), and TRUE.

Referenced by SCIPexprHasParam(), and SCIPexprtreeHasParam().

SCIP_RETCODE SCIPexprGetMaxDegree	(	SCIP_EXPR *	expr,
		int *	maxdegree
	)

gets maximal degree of expression, or SCIP_EXPR_DEGREEINFINITY if not a polynomial

Parameters

expr	expression
maxdegree	buffer to store maximal degree

Definition at line 7108 of file expr.c.

References SCIP_ExprData_Monomial::childidxs, SCIP_Expr::children, SCIP_Expr::data, SCIP_ExprData_Monomial::exponents, SCIP_QuadElement::idx1, SCIP_QuadElement::idx2, SCIP_ExprData_Quadratic::lincoefs, MAX, SCIP_ExprData_Polynomial::monomials, SCIP_Expr::nchildren, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Quadratic::nquadelems, NULL, SCIP_Expr::op, SCIP_ExprData_Quadratic::quadelems, quadraticdataSort(), SCIP_CALL, SCIP_EXPR_ABS, SCIP_EXPR_CONST, SCIP_EXPR_COS, SCIP_EXPR_DEGREEINFINITY, SCIP_EXPR_DIV, SCIP_EXPR_EXP, SCIP_EXPR_INTPOWER, SCIP_EXPR_LAST, SCIP_EXPR_LINEAR, SCIP_EXPR_LOG, SCIP_EXPR_MAX, SCIP_EXPR_MIN, SCIP_EXPR_MINUS, SCIP_EXPR_MUL, SCIP_EXPR_PARAM, SCIP_EXPR_PLUS, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_PRODUCT, SCIP_EXPR_QUADRATIC, SCIP_EXPR_REALPOWER, SCIP_EXPR_SIGN, SCIP_EXPR_SIGNPOWER, SCIP_EXPR_SIN, SCIP_EXPR_SQRT, SCIP_EXPR_SQUARE, SCIP_EXPR_SUM, SCIP_EXPR_TAN, SCIP_EXPR_USER, SCIP_EXPR_VARIDX, SCIP_OKAY, SCIPABORT, and SCIPexprGetMaxDegree().

Referenced by SCIPexprGetMaxDegree(), and SCIPexprtreeGetMaxDegree().

void SCIPexprGetVarsUsage	(	SCIP_EXPR *	expr,
		int *	varsusage
	)

counts usage of variables in expression

Parameters

expr	expression to update
varsusage	array with counters of variable usage

Definition at line 7433 of file expr.c.

References SCIP_Expr::children, SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_EXPR_VARIDX, and SCIPexprGetVarsUsage().

Referenced by exprsimplifySeparateLinearFromPolynomial(), SCIPexprGetVarsUsage(), and SCIPexprtreeGetVarsUsage().

SCIP_Bool SCIPexprAreEqual	(	SCIP_EXPR *	expr1,
		SCIP_EXPR *	expr2,
		SCIP_Real	eps
	)

compares whether two expressions are the same

Inconclusive, i.e., may give FALSE even if expressions are equivalent (x*y != y*x).

Parameters

expr1	first expression
expr2	second expression
eps	threshold under which numbers are assumed to be zero

Definition at line 7456 of file expr.c.

References SCIP_Expr::children, SCIP_QuadElement::coef, SCIP_ExprData_Quadratic::constant, SCIP_ExprData_Polynomial::constant, SCIP_Expr::data, EPSEQ, EPSZ, FALSE, SCIP_QuadElement::idx1, SCIP_QuadElement::idx2, SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprData_Polynomial::monomials, SCIP_Expr::nchildren, SCIP_ExprData_Polynomial::nmonomials, SCIP_ExprData_Quadratic::nquadelems, NULL, SCIP_Expr::op, SCIP_ExprData_Quadratic::quadelems, SCIP_EXPR_ABS, SCIP_EXPR_CONST, SCIP_EXPR_COS, SCIP_EXPR_DIV, SCIP_EXPR_EXP, SCIP_EXPR_INTPOWER, SCIP_EXPR_LAST, SCIP_EXPR_LINEAR, SCIP_EXPR_LOG, SCIP_EXPR_MAX, SCIP_EXPR_MIN, SCIP_EXPR_MINUS, SCIP_EXPR_MUL, SCIP_EXPR_PARAM, SCIP_EXPR_PLUS, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_PRODUCT, SCIP_EXPR_QUADRATIC, SCIP_EXPR_REALPOWER, SCIP_EXPR_SIGN, SCIP_EXPR_SIGNPOWER, SCIP_EXPR_SIN, SCIP_EXPR_SQRT, SCIP_EXPR_SQUARE, SCIP_EXPR_SUM, SCIP_EXPR_TAN, SCIP_EXPR_USER, SCIP_EXPR_VARIDX, SCIP_Real, SCIPABORT, SCIPerrorMessage, SCIPexprAreEqual(), SCIPexprAreMonomialsEqual(), SCIPexprSortMonomials(), SCIPexprSortQuadElems(), and TRUE.

Referenced by exprsimplifyAddChildren(), exprsimplifyRemoveDuplicatePolynomialChildren(), SCIPexprAreEqual(), and SCIPexprMultiplyPolynomialByPolynomial().

SCIP_RETCODE SCIPexprSimplify	(	BMS_BLKMEM *	blkmem,
		SCIP_MESSAGEHDLR *	messagehdlr,
		SCIP_EXPR *	expr,
		SCIP_Real	eps,
		int	maxexpansionexponent,
		int	nvars,
		int *	nlinvars,
		int *	linidxs,
		SCIP_Real *	lincoefs
	)

aims at simplifying an expression and splitting of a linear expression

If linear variables are split off, expression interpreter data, if stored in the tree, is freed.

Parameters

blkmem	block memory data structure
messagehdlr	message handler
expr	expression
eps	threshold, under which positive values are treat as 0
maxexpansionexponent	maximal exponent for which we still expand non-monomial polynomials
nvars	number of variables in expression
nlinvars	buffer to store number of linear variables in linear part, or NULL if linear part should not be separated
linidxs	array to store indices of variables in expression tree which belong to linear part, or NULL
lincoefs	array to store coefficients of linear part, or NULL

Definition at line 7665 of file expr.c.

References exprsimplifyConvertToPolynomials(), exprsimplifyFlattenPolynomials(), exprsimplifySeparateLinearFromPolynomial(), exprsimplifyUnconvertPolynomials(), NULL, SCIP_CALL, SCIP_OKAY, SCIPdebug, SCIPdebugMessage, SCIPdebugPrintf, and SCIPexprPrint().

Referenced by SCIPexprtreeSimplify().

SCIP_RETCODE SCIPexprEvalShallow	(	SCIP_EXPR *	expr,
		SCIP_Real *	argvals,
		SCIP_Real *	varvals,
		SCIP_Real *	param,
		SCIP_Real *	val
	)

evaluates an expression w.r.t. given values for children expressions

Parameters

expr	expression
argvals	values for children, can be NULL if the expression has no children
varvals	values for variables, can be NULL if the expression operand is not a variable
param	values for parameters, can be NULL if the expression operand is not a parameter
val	buffer to store value

Definition at line 7717 of file expr.c.

References SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_CALL, and SCIP_OKAY.

SCIP_RETCODE SCIPexprEval	(	SCIP_EXPR *	expr,
		SCIP_Real *	varvals,
		SCIP_Real *	param,
		SCIP_Real *	val
	)

evaluates an expression w.r.t. a point

Parameters

expr	expression
varvals	values for variables, can be NULL if the expression is constant
param	values for parameters, can be NULL if the expression is not parameterized
val	buffer to store value

Definition at line 7736 of file expr.c.

References BMSallocMemoryArray, BMSfreeMemoryArray, SCIP_Expr::children, SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_ALLOC, SCIP_CALL, SCIP_EXPRESSION_MAXCHILDEST, SCIP_OKAY, SCIP_Real, and SCIPexprEval().

Referenced by addUserEstimator(), exprsimplifyFlattenPolynomials(), SCIPexprEval(), and SCIPexprtreeEval().

SCIP_RETCODE SCIPexprEvalIntShallow	(	SCIP_EXPR *	expr,
		SCIP_Real	infinity,
		SCIP_INTERVAL *	argvals,
		SCIP_INTERVAL *	varvals,
		SCIP_Real *	param,
		SCIP_INTERVAL *	val
	)

evaluates an expression w.r.t. given interval values for children expressions

Parameters

expr	expression
infinity	value to use for infinity
argvals	interval values for children, can be NULL if the expression has no children
varvals	interval values for variables, can be NULL if the expression is constant
param	values for parameters, can be NULL if the expression is not parameterized
val	buffer to store value

Definition at line 7777 of file expr.c.

References SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_CALL, and SCIP_OKAY.

SCIP_RETCODE SCIPexprEvalInt	(	SCIP_EXPR *	expr,
		SCIP_Real	infinity,
		SCIP_INTERVAL *	varvals,
		SCIP_Real *	param,
		SCIP_INTERVAL *	val
	)

evaluates an expression w.r.t. an interval

Parameters

expr	expression
infinity	value to use for infinity
varvals	interval values for variables, can be NULL if the expression is constant
param	values for parameters, can be NULL if the expression is not parameterized
val	buffer to store value

Definition at line 7797 of file expr.c.

References BMSallocMemoryArray, BMSfreeMemoryArray, SCIP_Expr::children, SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_ALLOC, SCIP_CALL, SCIP_EXPRESSION_MAXCHILDEST, SCIP_OKAY, and SCIPexprEvalInt().

Referenced by addUserEstimator(), SCIPexprEvalInt(), and SCIPexprtreeEvalInt().

SCIP_RETCODE SCIPexprEvalUser	(	SCIP_EXPR *	expr,
		SCIP_Real *	argvals,
		SCIP_Real *	val,
		SCIP_Real *	gradient,
		SCIP_Real *	hessian
	)

evaluates a user expression w.r.t. given values for children expressions

Parameters

expr	expression
argvals	values for children
val	buffer to store function value
gradient	buffer to store gradient values, or NULL if not requested
hessian	buffer to store values of full Hessian, or NULL if not requested

Definition at line 7839 of file expr.c.

References SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_CALL, SCIP_EXPR_USER, SCIP_OKAY, and SCIP_ExprData_User::userdata.

Referenced by exprEvalUser().

SCIP_RETCODE SCIPexprEvalIntUser	(	SCIP_EXPR *	expr,
		SCIP_Real	infinity,
		SCIP_INTERVAL *	argvals,
		SCIP_INTERVAL *	val,
		SCIP_INTERVAL *	gradient,
		SCIP_INTERVAL *	hessian
	)

evaluates a user expression w.r.t. an interval

Parameters

expr	expression
infinity	value to use for infinity
argvals	values for children
val	buffer to store value
gradient	buffer to store gradient values, or NULL if not requested
hessian	buffer to store values of full Hessian, or NULL if not requested

Definition at line 7862 of file expr.c.

References SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_CALL, SCIP_EXPR_USER, SCIP_OKAY, SCIPintervalSetEntire(), and SCIP_ExprData_User::userdata.

Referenced by exprEvalUser().

SCIP_RETCODE SCIPexprCheckCurvature	(	SCIP_EXPR *	expr,
		SCIP_Real	infinity,
		SCIP_INTERVAL *	varbounds,
		SCIP_Real *	param,
		SCIP_EXPRCURV *	curv,
		SCIP_INTERVAL *	bounds
	)

tries to determine the curvature type of an expression w.r.t. given variable domains

Parameters

expr	expression to check
infinity	value to use for infinity
varbounds	domains of variables
param	values for parameters, can be NULL if the expression is not parameterized
curv	buffer to store curvature of expression
bounds	buffer to store bounds on expression

Definition at line 7895 of file expr.c.

References BMSallocMemoryArray, BMSfreeMemoryArray, SCIP_Expr::children, SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_ALLOC, SCIP_CALL, SCIP_EXPRCURV_LINEAR, SCIP_EXPRESSION_MAXCHILDEST, SCIP_OKAY, and SCIPexprCheckCurvature().

Referenced by SCIPexprCheckCurvature(), and SCIPexprtreeCheckCurvature().

SCIP_RETCODE SCIPexprEstimateUser	(	SCIP_EXPR *	expr,
		SCIP_Real	infinity,
		SCIP_Real *	argvals,
		SCIP_INTERVAL *	argbounds,
		SCIP_Bool	overestimate,
		SCIP_Real *	coeffs,
		SCIP_Real *	constant,
		SCIP_Bool *	success
	)

under-/overestimates a user expression w.r.t. to given values and bounds for children expressions

Parameters

expr	expression
infinity	value to use for infinity
argvals	values for children
argbounds	bounds for children
overestimate	whether to overestimate the expression
coeffs	buffer to store the linear coefficients for each child expression that gives a valid under-/overestimator
constant	buffer to store the constant value of the linear under-/overestimator
success	buffer to store whether an estimator was successfully computed

Definition at line 7953 of file expr.c.

References SCIP_Expr::data, FALSE, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_CALL, SCIP_EXPR_USER, SCIP_OKAY, and SCIP_ExprData_User::userdata.

Referenced by addUserEstimator().

SCIP_RETCODE SCIPexprSubstituteVars	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPR *	expr,
		SCIP_EXPR **	substexprs
	)

substitutes variables (SCIP_EXPR_VARIDX) by expressions

Note that only the children of the given expr are checked! A variable with index i is replaced by a copy of substexprs[i], if the latter is not NULL. If substexprs[i] == NULL, then the variable expression i is not touched.

Parameters

blkmem	block memory data structure
expr	expression, which of the children may be replaced
substexprs	array of substitute expressions; single entries can be NULL

Definition at line 7991 of file expr.c.

References SCIP_Expr::children, SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_CALL, SCIP_EXPR_VARIDX, SCIP_OKAY, SCIPexprCopyDeep(), SCIPexprFreeDeep(), and SCIPexprSubstituteVars().

Referenced by generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateUnderestimatorParallelYFacets(), initSepaDataCreateVred(), SCIPexprSubstituteVars(), and SCIPexprtreeSubstituteVars().

void SCIPexprReindexVars	(	SCIP_EXPR *	expr,
		int *	newindices
	)

updates variable indices in expression tree

Parameters

expr	expression to update
newindices	new indices of variables

Definition at line 8029 of file expr.c.

References SCIP_Expr::children, SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_EXPR_VARIDX, and SCIPexprReindexVars().

Referenced by initSepaData(), removeFixedVariables(), SCIPexprReindexVars(), and SCIPexprtreeRemoveFixedVars().

void SCIPexprReindexParams	(	SCIP_EXPR *	expr,
		int *	newindices
	)

updates parameter indices in expression tree

Parameters

expr	expression to update
newindices	new indices of variables

Definition at line 8050 of file expr.c.

References SCIP_Expr::children, SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_EXPR_PARAM, and SCIPexprReindexParams().

Referenced by SCIPexprReindexParams().

void SCIPexprPrint	(	SCIP_EXPR *	expr,
		SCIP_MESSAGEHDLR *	messagehdlr,
		FILE *	file,
		const char **	varnames,
		const char **	paramnames,
		SCIP_Real *	paramvals
	)

prints an expression

Parameters

expr	expression
messagehdlr	message handler
file	file for printing, or NULL for stdout
varnames	names of variables, or NULL for default names
paramnames	names of parameters, or NULL for default names
paramvals	values of parameters, or NULL for not printing

Definition at line 8071 of file expr.c.

References SCIP_ExprData_Monomial::childidxs, SCIP_Expr::children, SCIP_ExprData_Monomial::coef, SCIP_QuadElement::coef, SCIP_ExprData_Quadratic::constant, SCIP_ExprData_Polynomial::constant, SCIP_Expr::data, SCIP_ExprData_Monomial::exponents, SCIP_QuadElement::idx1, SCIP_QuadElement::idx2, SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprData_Polynomial::monomials, SCIP_Expr::nchildren, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, SCIP_ExprData_Quadratic::nquadelems, NULL, SCIP_Expr::op, SCIP_ExprData_Quadratic::quadelems, SCIP_EXPR_ABS, SCIP_EXPR_CONST, SCIP_EXPR_COS, SCIP_EXPR_DIV, SCIP_EXPR_EXP, SCIP_EXPR_INTPOWER, SCIP_EXPR_LAST, SCIP_EXPR_LINEAR, SCIP_EXPR_LOG, SCIP_EXPR_MAX, SCIP_EXPR_MIN, SCIP_EXPR_MINUS, SCIP_EXPR_MUL, SCIP_EXPR_PARAM, SCIP_EXPR_PLUS, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_PRODUCT, SCIP_EXPR_QUADRATIC, SCIP_EXPR_REALPOWER, SCIP_EXPR_SIGN, SCIP_EXPR_SIGNPOWER, SCIP_EXPR_SIN, SCIP_EXPR_SQRT, SCIP_EXPR_SQUARE, SCIP_EXPR_SUM, SCIP_EXPR_TAN, SCIP_EXPR_USER, SCIP_EXPR_VARIDX, SCIP_Real, SCIPABORT, SCIPerrorMessage, SCIPexprPrint(), and SCIPmessageFPrintInfo().

Referenced by exprParse(), exprsimplifyFlattenPolynomials(), SCIPexprPrint(), SCIPexprSimplify(), and SCIPexprtreePrint().

SCIP_RETCODE SCIPexprParse	(	BMS_BLKMEM *	blkmem,
		SCIP_MESSAGEHDLR *	messagehdlr,
		SCIP_EXPR **	expr,
		const char *	str,
		const char *	lastchar,
		int *	nvars,
		int *	varnames
	)

parses an expression from a string

Parameters

blkmem	block memory data structure
messagehdlr	message handler
expr	buffer to store pointer to created expression
str	pointer to the string to be parsed
lastchar	pointer to the last char of str that should be parsed
nvars	buffer to store number of variables
varnames	buffer to store variable names, prefixed by index (as int)

Definition at line 8381 of file expr.c.

References exprParse(), NULL, SCIP_CALL, SCIPhashtableCreate(), and SCIPhashtableFree().

Referenced by SCIP_DECL_CONSPARSE().

SCIP_EXPR* SCIPexprtreeGetRoot ( SCIP_EXPRTREE * tree )

returns root expression of an expression tree

Parameters

tree	expression tree

Definition at line 8442 of file expr.c.

References NULL, and SCIP_ExprTree::root.

Referenced by addUserEstimator(), generateCut(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateUnderestimatorParallelYFacets(), getLinearAndQuadraticCoefs(), initSepaData(), initSepaDataCreateVred(), printNonlinearRow(), printRowNl(), readConstraints(), readObjective(), removeFixedVariables(), SCIPexprintCompile(), SCIPexprintEval(), SCIPexprintEvalInt(), SCIPnlpiOraclePrintProblemGams(), and SCIPwritePip().

int SCIPexprtreeGetNVars ( SCIP_EXPRTREE * tree )

returns number of variables in expression tree

Parameters

tree	expression tree

Definition at line 8452 of file expr.c.

References NULL, and SCIP_ExprTree::nvars.

Referenced by addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addIntervalGradientEstimator(), addLinearization(), addUserEstimator(), checkCurvature(), computeViolation(), consdataAddExprtrees(), createConstraint(), evalFunctionGradient(), evalFunctionValue(), freeConstraint(), generateCut(), getGradientMaxElement(), getLinearAndQuadraticCoefs(), hessLagAddExprtree(), hessLagSparsitySetNzFlagForExprtree(), nlpAddNlRows(), nlpSetupNlpiIndices(), nlrowCalcActivityBounds(), nlrowExprtreeChanged(), nlrowRemoveFixedExprtreeVars(), printFunction(), printRowNl(), processNlRow(), readObjective(), registerBranchingVariables(), registerLargeLPValueVariableForBranching(), removeFixedVariables(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSINITLP(), SCIPcreateConsBivariate(), SCIPevalExprtreeGlobalBounds(), SCIPevalExprtreeLocalBounds(), SCIPevalExprtreeSol(), SCIPexprintCompile(), SCIPexprintEval(), SCIPexprintEvalInt(), SCIPexprintGrad(), SCIPexprintGradInt(), SCIPexprintHessianDense(), SCIPexprintHessianSparsityDense(), SCIPexprtreeSimplify(), SCIPgetExprtreeTransformedVars(), SCIPnlpGetVarsNonlinearity(), SCIPnlpHasContinuousNonlinearity(), SCIPnlpiOracleChgExprtree(), SCIPnlpiOracleDelVarSet(), SCIPnlpiOracleEvalJacobian(), SCIPnlpiOracleGetJacobianSparsity(), SCIPnlrowGetSolActivity(), SCIPnlrowRecalcNLPActivity(), SCIPnlrowRecalcPseudoActivity(), SCIPwritePip(), solveDerivativeEquation(), and updateVariableDegreesCons().

int SCIPexprtreeGetNParams ( SCIP_EXPRTREE * tree )

returns number of parameters in expression tree

Parameters

tree	expression tree

Definition at line 8462 of file expr.c.

References SCIP_ExprTree::nparams, and NULL.

Referenced by nlrowExprtreeParamChanged(), nlrowRemoveFixedExprtreeVars(), SCIPnlpiOracleChgExprParam(), and SCIPnlrowChgExprtreeParams().

SCIP_Real* SCIPexprtreeGetParamVals ( SCIP_EXPRTREE * tree )

returns values of parameters or NULL if none

Parameters

tree	expression tree

Definition at line 8472 of file expr.c.

References NULL, and SCIP_ExprTree::params.

Referenced by addUserEstimator(), nlrowExprtreeParamChanged(), SCIPexprintEval(), and SCIPexprintEvalInt().

void SCIPexprtreeSetParamVal	(	SCIP_EXPRTREE *	tree,
		int	paramidx,
		SCIP_Real	paramval
	)

sets value of a single parameter in expression tree

Parameters

tree	expression tree
paramidx	index of parameter
paramval	new value of parameter

Definition at line 8482 of file expr.c.

References NULL, and SCIP_ExprTree::params.

Referenced by generateConvexConcaveUnderestimator(), SCIPnlpiOracleChgExprParam(), and SCIPnlrowChgExprtreeParam().

SCIP_EXPRINTDATA* SCIPexprtreeGetInterpreterData ( SCIP_EXPRTREE * tree )

gets data of expression tree interpreter, or NULL if not set

Parameters

tree	expression tree

Definition at line 8497 of file expr.c.

References SCIP_ExprTree::interpreterdata, and NULL.

Referenced by addIntervalGradientEstimator(), addLinearization(), computeViolation(), generateLinearizationCut(), getGradientMaxElement(), initSepaData(), SCIP_DECL_CONSINITLP(), SCIPexprintCompile(), SCIPexprintEval(), SCIPexprintEvalInt(), SCIPexprintGetExprtreeCapability(), SCIPexprintGrad(), SCIPexprintGradInt(), SCIPexprintHessianDense(), SCIPexprintHessianSparsityDense(), SCIPexprintNewParametrization(), and solveDerivativeEquation().

void SCIPexprtreeSetInterpreterData	(	SCIP_EXPRTREE *	tree,
		SCIP_EXPRINTDATA *	interpreterdata
	)

sets data of expression tree interpreter

Parameters

tree	expression tree
interpreterdata	expression interpreter data

Definition at line 8507 of file expr.c.

References SCIP_ExprTree::interpreterdata, and NULL.

Referenced by SCIPexprintCompile().

SCIP_RETCODE SCIPexprtreeFreeInterpreterData ( SCIP_EXPRTREE * tree )

frees data of expression tree interpreter, if any

Parameters

tree	expression tree

Definition at line 8520 of file expr.c.

References SCIP_ExprTree::interpreterdata, NULL, SCIP_CALL, SCIP_OKAY, and SCIPexprintFreeData().

Referenced by SCIPexprtreeAddExpr(), SCIPexprtreeFree(), SCIPexprtreeSimplify(), and SCIPexprtreeSubstituteVars().

SCIP_Bool SCIPexprtreeHasParam ( SCIP_EXPRTREE * tree )

indicates whether there are parameterized constants (SCIP_EXPR_PARAM) in expression tree

Parameters

tree	expression tree

Definition at line 8534 of file expr.c.

References NULL, SCIP_ExprTree::root, and SCIPexprHasParam().

SCIP_RETCODE SCIPexprtreeGetMaxDegree	(	SCIP_EXPRTREE *	tree,
		int *	maxdegree
	)

Gives maximal degree of expression in expression tree.

If constant expression, gives 0, if linear expression, gives 1, if polynomial expression, gives its maximal degree, otherwise (nonpolynomial nonconstant expressions) gives at least SCIP_EXPR_DEGREEINFINITY.

Parameters

tree	expression tree
maxdegree	buffer to store maximal degree

Definition at line 8550 of file expr.c.

References NULL, SCIP_ExprTree::root, SCIP_CALL, SCIP_OKAY, and SCIPexprGetMaxDegree().

Referenced by SCIPwriteGms().

SCIP_RETCODE SCIPexprtreeEval	(	SCIP_EXPRTREE *	tree,
		SCIP_Real *	varvals,
		SCIP_Real *	val
	)

evaluates an expression tree w.r.t. a point

Parameters

tree	expression tree
varvals	values for variables
val	buffer to store expression tree value

Definition at line 8563 of file expr.c.

References NULL, SCIP_ExprTree::nvars, SCIP_ExprTree::params, SCIP_ExprTree::root, SCIP_CALL, SCIP_OKAY, and SCIPexprEval().

Referenced by addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), generateConvexConcaveUnderestimator(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateUnderestimatorParallelYFacets(), nlrowRemoveFixedExprtreeVars(), SCIPevalExprtreeSol(), SCIPexprintEval(), SCIPexprtreeSimplify(), SCIPnlrowGetSolActivity(), SCIPnlrowRecalcNLPActivity(), and SCIPnlrowRecalcPseudoActivity().

SCIP_RETCODE SCIPexprtreeEvalInt	(	SCIP_EXPRTREE *	tree,
		SCIP_Real	infinity,
		SCIP_INTERVAL *	varvals,
		SCIP_INTERVAL *	val
	)

evaluates an expression tree w.r.t. an interval

Parameters

tree	expression tree
infinity	value for infinity
varvals	intervals for variables
val	buffer to store expression tree value

Definition at line 8579 of file expr.c.

References NULL, SCIP_ExprTree::nvars, SCIP_ExprTree::params, SCIP_ExprTree::root, SCIP_CALL, SCIP_OKAY, and SCIPexprEvalInt().

Referenced by nlrowCalcActivityBounds(), SCIPevalExprtreeGlobalBounds(), SCIPevalExprtreeLocalBounds(), and SCIPexprintEvalInt().

void SCIPexprtreePrint	(	SCIP_EXPRTREE *	tree,
		SCIP_MESSAGEHDLR *	messagehdlr,
		FILE *	file,
		const char **	varnames,
		const char **	paramnames
	)

prints an expression tree

Parameters

tree	expression tree
messagehdlr	message handler
file	file for printing, or NULL for stdout
varnames	names of variables, or NULL for default names
paramnames	names of parameters, or NULL for default names

Definition at line 8596 of file expr.c.

References NULL, SCIP_ExprTree::params, SCIP_ExprTree::root, and SCIPexprPrint().

Referenced by generateConvexConcaveUnderestimator(), isConvexLocal(), printFunction(), and SCIPexprtreePrintWithNames().

SCIP_RETCODE SCIPexprtreeCreate	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRTREE **	tree,
		SCIP_EXPR *	root,
		int	nvars,
		int	nparams,
		SCIP_Real *	params
	)

creates an expression tree

Parameters

blkmem	block memory data structure
tree	buffer to store address of created expression tree
root	pointer to root expression, not copied deep !, can be NULL
nvars	number of variables in variable mapping
nparams	number of parameters in expression
params	values for parameters, or NULL (if NULL but nparams > 0, then params is initialized with zeros)

Definition at line 8611 of file expr.c.

References BMSallocBlockMemory, BMSallocBlockMemoryArray, BMSclearMemoryArray, BMSduplicateBlockMemoryArray, NULL, SCIP_ALLOC, and SCIP_OKAY.

Referenced by createConsFromQuadTerm(), createExprtreeFromMonomial(), createNlRow(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateUnderestimatorParallelYFacets(), initSepaData(), initSepaDataCreateVred(), readNonlinearExprs(), readPolynomial(), SCIP_DECL_CONSPARSE(), SCIPexprgraphGetSeparableTrees(), SCIPexprgraphGetSumTrees(), SCIPexprgraphGetTree(), and SCIPwritePip().

SCIP_RETCODE SCIPexprtreeCopy	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRTREE **	targettree,
		SCIP_EXPRTREE *	sourcetree
	)

copies an expression tree

Parameters

blkmem	block memory that should be used in new expression tree
targettree	buffer to store address of copied expression tree
sourcetree	expression tree to copy

Definition at line 8652 of file expr.c.

References BMSduplicateBlockMemory, BMSduplicateBlockMemoryArray, SCIP_ExprTree::nparams, NULL, SCIP_ExprTree::nvars, SCIP_ExprTree::params, SCIP_ExprTree::root, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPexprCopyDeep(), and SCIP_ExprTree::vars.

Referenced by consdataAddExprtrees(), createConstraint(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), initSepaData(), removeFixedVariables(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSTRANS(), SCIPcreateConsBivariate(), SCIPnlpiOracleChgExprtree(), SCIPnlrowChgExprtree(), and SCIPnlrowCreate().

SCIP_RETCODE SCIPexprtreeFree ( SCIP_EXPRTREE ** tree )

frees an expression tree

Parameters

tree	pointer to expression tree that is freed

Definition at line 8692 of file expr.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArrayNull, NULL, SCIP_CALL, SCIP_OKAY, SCIPexprFreeDeep(), and SCIPexprtreeFreeInterpreterData().

Referenced by consdataFree(), consdataSetExprtrees(), createConsFromMonomial(), createConsFromQuadTerm(), createNlRow(), freeConstraint(), freeSepaData(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateUnderestimatorParallelYFacets(), nlrowRemoveFixedExprtreeVars(), readConstraints(), readNonlinearExprs(), readObjective(), removeFixedVariables(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRINT(), SCIPnlpiOracleChgExprtree(), SCIPnlpiOracleDelVarSet(), SCIPnlrowChgExprtree(), SCIPnlrowFree(), SCIPwriteGms(), and SCIPwritePip().

SCIP_RETCODE SCIPexprtreeSetParams	(	SCIP_EXPRTREE *	tree,
		int	nparams,
		SCIP_Real *	paramvals
	)

sets number and values of all parameters in expression tree

Parameters

tree	expression tree
nparams	number of parameters
paramvals	values of parameters, can be NULL if nparams == 0

Definition at line 8716 of file expr.c.

References SCIP_ExprTree::blkmem, BMScopyMemoryArray, BMSduplicateBlockMemoryArray, BMSfreeBlockMemoryArrayNull, BMSreallocBlockMemoryArray, SCIP_ExprTree::nparams, NULL, SCIP_ExprTree::params, SCIP_ALLOC, and SCIP_OKAY.

Referenced by generateConvexConcaveUnderestimator(), initSepaData(), and SCIPnlrowChgExprtreeParams().

void SCIPexprtreeGetVarsUsage	(	SCIP_EXPRTREE *	tree,
		int *	varsusage
	)

gives the number of usages for each variable in the expression tree

Parameters

tree	expression tree
varsusage	array where to store for each variable how often it is used in the tree

Definition at line 8747 of file expr.c.

References BMSclearMemoryArray, NULL, SCIP_ExprTree::nvars, SCIP_ExprTree::root, and SCIPexprGetVarsUsage().

SCIP_RETCODE SCIPexprtreeSimplify	(	SCIP_EXPRTREE *	tree,
		SCIP_MESSAGEHDLR *	messagehdlr,
		SCIP_Real	eps,
		int	maxexpansionexponent,
		int *	nlinvars,
		int *	linidxs,
		SCIP_Real *	lincoefs
	)

aims at simplifying an expression and splitting of a linear expression

If linear variables are split off, expression interpreter data, if stored in the tree, is freed.

Parameters

tree	expression tree
messagehdlr	message handler
eps	threshold, under which positive values are treat as 0
maxexpansionexponent	maximal exponent for which we still expand non-monomial polynomials
nlinvars	buffer to store number of linear variables in linear part, or NULL if linear part should not be separated
linidxs	array to store indices of variables in expression tree which belong to linear part, or NULL
lincoefs	array to store coefficients of linear part, or NULL

Definition at line 8766 of file expr.c.

References SCIP_ExprTree::blkmem, BMSallocMemoryArray, BMSfreeMemoryArray, EPSZ, NULL, SCIP_ExprTree::nvars, SCIP_ExprTree::root, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPexprSimplify(), SCIPexprtreeEval(), SCIPexprtreeFreeInterpreterData(), SCIPexprtreeGetNVars(), SCIPgetRandomReal(), and SCIPrelDiff().

SCIP_RETCODE SCIPexprtreeAddExpr	(	SCIP_EXPRTREE *	tree,
		SCIP_EXPR *	expr,
		SCIP_Bool	copyexpr
	)

adds an expression to the root expression of the tree

The root is replaced with an SCIP_EXPR_PLUS expression which has the previous root and the given expression (or a copy of it) as children.

Parameters

tree	expression tree
expr	expression to add to tree
copyexpr	whether expression should be copied

Definition at line 8817 of file expr.c.

References SCIP_ExprTree::blkmem, NULL, SCIP_ExprTree::root, SCIP_CALL, SCIP_EXPR_PLUS, SCIP_OKAY, SCIPexprCopyDeep(), SCIPexprCreate(), and SCIPexprtreeFreeInterpreterData().

Referenced by SCIPexprgraphGetSumTrees().

SCIP_RETCODE SCIPexprtreeCheckCurvature	(	SCIP_EXPRTREE *	tree,
		SCIP_Real	infinity,
		SCIP_INTERVAL *	varbounds,
		SCIP_EXPRCURV *	curv,
		SCIP_INTERVAL *	bounds
	)

tries to determine the curvature type of an expression tree w.r.t. given variable domains

Parameters

tree	expression tree
infinity	value for infinity
varbounds	domains of variables
curv	buffer to store curvature of expression
bounds	buffer to store bounds on expression, or NULL if not needed

Definition at line 8840 of file expr.c.

References NULL, SCIP_ExprTree::params, SCIP_ExprTree::root, SCIP_CALL, SCIP_OKAY, and SCIPexprCheckCurvature().

Referenced by checkCurvature().

SCIP_RETCODE SCIPexprtreeSubstituteVars	(	SCIP_EXPRTREE *	tree,
		SCIP_EXPR **	substexprs
	)

substitutes variables (SCIP_EXPR_VARIDX) in an expression tree by expressions

A variable with index i is replaced by a copy of substexprs[i], if that latter is not NULL. If substexprs[i] == NULL, then the variable expression i is not touched.

Parameters

tree	expression tree
substexprs	array of substitute expressions; single entries can be NULL

Definition at line 8866 of file expr.c.

References SCIP_ExprTree::blkmem, SCIP_Expr::data, NULL, SCIP_Expr::op, SCIP_ExprTree::root, SCIP_CALL, SCIP_EXPR_VARIDX, SCIP_OKAY, SCIPexprCopyDeep(), SCIPexprFreeDeep(), SCIPexprSubstituteVars(), and SCIPexprtreeFreeInterpreterData().

Referenced by generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), initSepaData(), removeFixedVariables(), and SCIPexprtreeRemoveFixedVars().

static void quadelemsQuickSort	(	SCIP_QUADELEM *	elems,
		int	start,
		int	end
	)

static

quicksort an array of quadratic elements; pivot is the medial element (taken from scip/sorttpl.c)

Parameters

elems	array to be sorted
start	starting index
end	ending index

Definition at line 8920 of file expr.c.

References QUADELEMS_ISBETTER, and QUADELEMS_SWAP.

Referenced by SCIPquadelemSort().

void SCIPquadelemSort	(	SCIP_QUADELEM *	quadelems,
		int	nquadelems
	)

sorts an array of quadratic elements

The elements are sorted such that the first index is increasing and such that among elements with the same first index, the second index is increasing. For elements with same first and second index, the order is not defined.

Parameters

quadelems	array of quadratic elements
nquadelems	number of quadratic elements

Definition at line 9030 of file expr.c.

References quadelemsQuickSort().

Referenced by createConstraint(), exprgraphFindParentByOperator(), nlrowSortQuadElem(), quadraticdataSort(), SCIPnlpiOracleChgQuadCoefs(), and SCIPnlpiOracleDelVarSet().

SCIP_Bool SCIPquadelemSortedFind	(	SCIP_QUADELEM *	quadelems,
		int	idx1,
		int	idx2,
		int	nquadelems,
		int *	pos
	)

Finds an index pair in a sorted array of quadratic elements.

If (idx1,idx2) is found in quadelems, then returns TRUE and stores position of quadratic element in *pos. If (idx1,idx2) is not found in quadelems, then returns FALSE and stores position where a quadratic element with these indices would be inserted in *pos. Assumes that idx1 <= idx2.

Parameters

quadelems	array of quadratic elements
idx1	index of first variable in element to search for
idx2	index of second variable in element to search for
nquadelems	number of quadratic elements in array
pos	buffer to store position of found quadratic element or position where it would be inserted, or NULL

Definition at line 9055 of file expr.c.

References FALSE, NULL, and TRUE.

Referenced by nlrowSearchQuadElem(), and SCIPnlpiOracleChgQuadCoefs().

void SCIPquadelemSqueeze	(	SCIP_QUADELEM *	quadelems,
		int	nquadelems,
		int *	nquadelemsnew
	)

Adds quadratic elements with same index and removes elements with coefficient 0.0.

Assumes that elements have been sorted before.

Parameters

quadelems	array of quadratic elements
nquadelems	number of quadratic elements
nquadelemsnew	pointer to store new (reduced) number of quadratic elements

Definition at line 9107 of file expr.c.

References SCIP_QuadElement::coef, NULL, and QUADELEMS_ISBETTER.

Referenced by createConstraint(), and SCIPnlpiOracleChgQuadCoefs().

static SCIP_RETCODE exprgraphNodeAddParent	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRGRAPHNODE *	node,
		SCIP_EXPRGRAPHNODE *	parent
	)

static

adds a parent to an expression graph node

Parameters

blkmem	block memory
node	expression graph node where to add a parent
parent	parent node

Definition at line 9163 of file expr.c.

References SCIP_ExprGraphNode::depth, ensureBlockMemoryArraySize, SCIP_ExprGraphNode::nparents, NULL, SCIP_ExprGraphNode::parents, SCIP_ExprGraphNode::parentssize, SCIP_ExprGraphNode::parentssorted, SCIP_ExprGraphNode::pos, and SCIP_OKAY.

Referenced by exprgraphNodeAddChildren(), exprgraphNodeReplaceChild(), SCIPexprgraphAddNode(), and SCIPexprgraphReplaceVarByLinearSum().

static void exprgraphNodeSortParents ( SCIP_EXPRGRAPHNODE * node )

static

ensures that array of parents in a node is sorted

Parameters

node	expression graph node

Definition at line 9192 of file expr.c.

References SCIP_ExprGraphNode::nparents, NULL, SCIP_ExprGraphNode::parents, SCIP_ExprGraphNode::parentssorted, SCIPsortPtr(), and TRUE.

Referenced by exprgraphNodeIsParent(), and exprgraphNodeRemoveParent().

static SCIP_RETCODE exprgraphNodeRemoveParent	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE **	node,
		SCIP_EXPRGRAPHNODE *	parent
	)

static

removes a parent from an expression graph node

If the node is not used and has no other parents, then it is freed.

Parameters

exprgraph	expression graph
node	expression graph node where to remove a parent, *node will be set to NULL
parent	parent node to remove

Definition at line 9218 of file expr.c.

References SCIP_ExprGraphNode::depth, exprgraphNodeSortParents(), SCIP_ExprGraphNode::nparents, NULL, SCIP_ExprGraphNode::nuses, SCIP_ExprGraphNode::pos, SCIP_CALL, SCIP_OKAY, SCIPexprgraphCaptureNode(), SCIPexprgraphReleaseNode(), and SCIPsortedvecFindPtr().

Referenced by exprgraphNodeRemovePolynomialDuplicateChildren(), exprgraphNodeReplaceChild(), exprgraphNodeSimplify(), SCIPexprgraphNodeSplitOffLinear(), and SCIPexprgraphReleaseNode().

static SCIP_Bool exprgraphNodeIsParent	(	SCIP_EXPRGRAPHNODE *	node,
		SCIP_EXPRGRAPHNODE *	parent
	)

static

checks if a node is parent of a node

Parameters

node	expression graph node
parent	parent to look for

Definition at line 9269 of file expr.c.

References SCIP_ExprGraphNode::depth, exprgraphNodeSortParents(), FALSE, SCIP_ExprGraphNode::nparents, NULL, SCIP_ExprGraphNode::parents, and SCIPsortedvecFindPtr().

Referenced by exprgraphFindParentByOperator(), and exprgraphNodeRemovePolynomialDuplicateChildren().

static SCIP_RETCODE exprgraphNodeAddChildren	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRGRAPHNODE *	node,
		int	nexprs,
		SCIP_EXPRGRAPHNODE **	exprs,
		int *	childmap
	)

static

adds expression graph nodes to the array of children of a sum, product, linear, quadratic, or polynomial expression

For a sum or product expression, this corresponds to add additional summands and factors, resp. For a linear expression, this corresponds to add each expression with coefficient 1.0. For a quadratic or polynomial expression, only the children array may be enlarged, the expression itself remains the same.

It is assumed that node and all exprs are in the expression graph already. It is assumed that all expressions that are added have lower depth than node.

Parameters

blkmem	block memory
node	expression graph node
nexprs	number of children to add
exprs	children nodes to add
childmap	array where to store mapping of indices from exprs to children array in node, or NULL if not of interest

Definition at line 9300 of file expr.c.

References BMSclearMemoryArray, BMSreallocBlockMemoryArray, SCIP_ExprGraphNode::children, SCIP_ExprGraphNode::data, SCIP_ExprGraphNode::depth, exprgraphNodeAddParent(), FALSE, SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprGraphNode::nchildren, NULL, SCIP_ExprGraphNode::op, SCIP_ExprGraphNode::pos, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_EXPR_LINEAR, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_PRODUCT, SCIP_EXPR_QUADRATIC, SCIP_EXPR_SUM, SCIP_OKAY, SCIP_Real, SCIP_ExprGraphNode::simplified, and TRUE.

Referenced by exprgraphNodeSimplify().

static SCIP_RETCODE exprgraphNodeReplaceChild	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	node,
		SCIP_EXPRGRAPHNODE **	oldchild,
		SCIP_EXPRGRAPHNODE *	newchild
	)

static

replaces a child node by another node

Assumes that both nodes represent the same expression. If this node was the last parent of oldchild and oldchild is not in use, then it is freed. newchild must have deeper depth than node.

Parameters

exprgraph	expression graph
node	pointer to expression graph node
oldchild	child node that should be replaced, it may be freed
newchild	node that should take position of oldchild

Definition at line 9401 of file expr.c.

References SCIP_ExprGraph::blkmem, SCIP_ExprGraphNode::children, exprgraphNodeAddParent(), exprgraphNodeRemoveParent(), FALSE, SCIP_ExprGraphNode::nchildren, NULL, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, and SCIP_ExprGraphNode::simplified.

Referenced by SCIPexprgraphMoveNodeParents(), and SCIPexprgraphSimplify().

static SCIP_DECL_SORTPTRCOMP ( exprgraphConstNodeComp )

static

comparison of SCIP_EXPRGRAPHNODE's that are of type SCIP_EXPR_CONST

A node is larger than another node, if their corresponding constants are related that way.

Definition at line 9451 of file expr.c.

References NULL, and SCIP_EXPR_CONST.

static void exprgraphSortConstNodes ( SCIP_EXPRGRAPH * exprgraph )

static

sort array of nodes that holds constants

Parameters

exprgraph expression graph

Definition at line 9470 of file expr.c.

References SCIP_ExprGraph::constnodes, SCIP_ExprGraph::constssorted, SCIP_ExprGraph::nconsts, NULL, SCIPsortPtr(), and TRUE.

Referenced by exprgraphFindConstNodePos(), and SCIPexprgraphFindConstNode().

static SCIP_Bool exprgraphFindConstNodePos	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	node,
		int *	pos
	)

static

finds position of expression graph node corresponding to a constant in constnodes array

Parameters

exprgraph	expression graph
node	node to search for
pos	buffer to store position of node, if found

Definition at line 9486 of file expr.c.

References SCIP_ExprGraph::constnodes, SCIP_ExprGraph::constssorted, SCIP_ExprGraphNode::data, SCIP_ExprGraphNode::depth, exprgraphSortConstNodes(), FALSE, SCIP_ExprGraph::nconsts, NULL, SCIP_ExprGraphNode::op, SCIP_ExprGraphNode::pos, and SCIP_EXPR_CONST.

Referenced by SCIPexprgraphReleaseNode().

static SCIP_RETCODE exprgraphCreateNode	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRGRAPHNODE **	node,
		SCIP_EXPROP	op,
		SCIP_EXPROPDATA	opdata
	)

static

creates an expression graph node

Parameters

blkmem	block memory
node	buffer to store expression graph node
op	operator type of expression
opdata	operator data of expression

Definition at line 9541 of file expr.c.

References BMSallocBlockMemory, BMSclearMemory, NULL, SCIP_ALLOC, SCIP_EXPR_CONST, SCIP_EXPR_PARAM, SCIP_EXPR_VARIDX, SCIP_EXPRBOUNDSTATUS_VALID, SCIP_EXPRCURV_LINEAR, SCIP_EXPRCURV_UNKNOWN, SCIP_INVALID, SCIP_OKAY, SCIP_REAL_MAX, SCIPintervalSetEntire(), and TRUE.

Referenced by exprgraphAddExpr(), SCIPexprgraphAddConst(), SCIPexprgraphAddExprtreeSum(), SCIPexprgraphAddVars(), SCIPexprgraphCreateNode(), SCIPexprgraphCreateNodeLinear(), SCIPexprgraphCreateNodePolynomial(), SCIPexprgraphCreateNodeQuadratic(), SCIPexprgraphCreateNodeUser(), and SCIPexprgraphNodeSplitOffLinear().

static void exprgraphPrintNodeExpression	(	SCIP_EXPRGRAPHNODE *	node,
		SCIP_MESSAGEHDLR *	messagehdlr,
		FILE *	file,
		const char **	varnames,
		SCIP_Bool	printchildrenbounds
	)

static

prints the expression corresponding to a node (not recursively)

< gaussian error function (1 operand)

< imaginary part of gaussian error function (1 operand)

Parameters

node	node of expression graph
messagehdlr	message handler
file	file to print to, or NULL for stdout
varnames	variable names, or NULL for generic names
printchildrenbounds	whether to print bounds of children

Definition at line 9585 of file expr.c.

References SCIP_ExprGraphNode::bounds, SCIP_ExprData_Monomial::childidxs, SCIP_ExprGraphNode::children, SCIP_ExprData_Monomial::coef, SCIP_QuadElement::coef, SCIP_ExprData_Quadratic::constant, SCIP_ExprData_Polynomial::constant, SCIP_ExprGraphNode::data, SCIP_ExprData_Monomial::exponents, SCIP_QuadElement::idx1, SCIP_QuadElement::idx2, SCIP_Interval::inf, SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprData_Polynomial::monomials, SCIP_ExprGraphNode::nchildren, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, SCIP_ExprData_Quadratic::nquadelems, NULL, SCIP_ExprGraphNode::op, SCIP_ExprData_Quadratic::quadelems, SCIP_EXPR_ABS, SCIP_EXPR_CONST, SCIP_EXPR_COS, SCIP_EXPR_DIV, SCIP_EXPR_EXP, SCIP_EXPR_INTPOWER, SCIP_EXPR_LAST, SCIP_EXPR_LINEAR, SCIP_EXPR_LOG, SCIP_EXPR_MAX, SCIP_EXPR_MIN, SCIP_EXPR_MINUS, SCIP_EXPR_MUL, SCIP_EXPR_PARAM, SCIP_EXPR_PLUS, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_PRODUCT, SCIP_EXPR_QUADRATIC, SCIP_EXPR_REALPOWER, SCIP_EXPR_SIGN, SCIP_EXPR_SIGNPOWER, SCIP_EXPR_SIN, SCIP_EXPR_SQRT, SCIP_EXPR_SQUARE, SCIP_EXPR_SUM, SCIP_EXPR_TAN, SCIP_EXPR_VARIDX, SCIP_Real, SCIPABORT, SCIPexpropGetName(), SCIPmessageFPrintInfo(), and SCIP_Interval::sup.

Referenced by exprgraphNodeSimplify(), exprgraphPrintNodeDot(), and SCIPexprgraphPrintNode().

static void exprgraphPrintNodeDot	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	node,
		SCIP_MESSAGEHDLR *	messagehdlr,
		FILE *	file,
		const char **	varnames
	)

static

prints a node of an expression graph

Parameters

exprgraph	expression graph
node	node of expression graph
messagehdlr	message handler
file	file to print to, or NULL for stdout
varnames	variable names, or NULL for generic names

Definition at line 9841 of file expr.c.

References SCIP_ExprGraphNode::bounds, SCIP_ExprGraphNode::boundstatus, SCIP_ExprGraphNode::children, SCIP_ExprGraphNode::depth, SCIP_ExprGraphNode::enabled, exprgraphPrintNodeExpression(), FALSE, SCIP_Interval::inf, SCIP_ExprGraphNode::nchildren, NULL, SCIP_ExprGraphNode::op, SCIP_ExprGraphNode::pos, SCIP_EXPR_LAST, SCIP_EXPRBOUNDSTATUS_CHILDRELAXED, SCIP_EXPRBOUNDSTATUS_CHILDTIGHTENED, SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENT, SCIP_Real, SCIPmessageFPrintInfo(), and SCIP_Interval::sup.

Referenced by SCIPexprgraphPrintDot().

static SCIP_RETCODE exprgraphNodeEval	(	SCIP_EXPRGRAPHNODE *	node,
		SCIP_Real *	varvals
	)

static

evaluate node of expression graph w.r.t. values stored in children

Parameters

node	expression graph node
varvals	values for variables

Definition at line 9883 of file expr.c.

References BMSallocMemoryArray, BMSfreeMemoryArray, SCIP_ExprGraphNode::children, SCIP_ExprGraphNode::data, SCIP_ExprGraphNode::nchildren, NULL, SCIP_ExprGraphNode::op, SCIP_ALLOC, SCIP_CALL, SCIP_EXPRESSION_MAXCHILDEST, SCIP_INVALID, SCIP_OKAY, SCIP_Real, and SCIP_ExprGraphNode::value.

Referenced by exprgraphNodeEvalWithChildren(), SCIPexprgraphAddNode(), SCIPexprgraphEval(), and SCIPexprgraphSimplify().

static SCIP_RETCODE exprgraphNodeEvalWithChildren	(	SCIP_EXPRGRAPHNODE *	node,
		SCIP_Real *	varvals
	)

static

evaluates node including subtree

Parameters

node	expression graph node
varvals	values for variables

Definition at line 9927 of file expr.c.

References SCIP_ExprGraphNode::children, exprgraphNodeEval(), SCIP_ExprGraphNode::nchildren, NULL, SCIP_CALL, and SCIP_OKAY.

Referenced by exprgraphNodeSimplify().

static SCIP_RETCODE exprgraphNodeUpdateBounds	(	SCIP_EXPRGRAPHNODE *	node,
		SCIP_Real	infinity,
		SCIP_Real	minstrength,
		SCIP_Bool	parenttightenisinvalid
	)

static

updates bounds of a node if a children has changed its bounds

Parameters

node	node of expression graph
infinity	value for infinity in interval arithmetics
minstrength	minimal required relative bound strengthening in a node to trigger a bound recalculation in parent nodes
parenttightenisinvalid	whether to consider bounds that have been tightened by parents as invalid

Definition at line 9948 of file expr.c.

References BMSallocMemoryArray, BMSfreeMemoryArray, SCIP_ExprGraphNode::bounds, SCIP_ExprGraphNode::boundstatus, SCIP_ExprGraphNode::children, SCIP_ExprGraphNode::data, SCIP_ExprGraphNode::depth, SCIP_ExprGraphNode::enabled, SCIP_Interval::inf, isLbBetter(), isUbBetter(), SCIP_ExprGraphNode::nchildren, SCIP_ExprGraphNode::nparents, NULL, SCIP_ExprGraphNode::op, SCIP_ExprGraphNode::parents, SCIP_ExprGraphNode::pos, SCIP_ALLOC, SCIP_CALL, SCIP_EXPR_PARAM, SCIP_EXPR_VARIDX, SCIP_EXPRBOUNDSTATUS_CHILDRELAXED, SCIP_EXPRBOUNDSTATUS_CHILDTIGHTENED, SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENT, SCIP_EXPRBOUNDSTATUS_VALID, SCIP_EXPRESSION_MAXCHILDEST, SCIP_OKAY, SCIPdebugMessage, SCIPexpropGetName(), SCIPintervalIntersect(), SCIPintervalIsEmpty(), and SCIP_Interval::sup.

Referenced by SCIPexprgraphPropagateVarBounds().

static void exprgraphNodePropagateBounds	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	node,
		SCIP_Real	infinity,
		SCIP_Real	minstrength,
		SCIP_Bool *	cutoff
	)

static

propagate bounds of a node into children by reverting the nodes expression

Parameters

exprgraph	expression graph
node	node in expression graph with no parents
infinity	value for infinity in interval arithmetics
minstrength	minimal required relative bound strengthening in a node to trigger a propagation into children nodes
cutoff	buffer to store whether a node's bounds were propagated to an empty interval

Definition at line 10041 of file expr.c.

References SCIP_ExprGraph::blkmem, BMSallocBlockMemoryArray, BMSfreeBlockMemoryArray, SCIP_ExprGraphNode::bounds, SCIP_ExprGraphNode::boundstatus, SCIP_ExprData_Monomial::childidxs, SCIP_ExprGraphNode::children, SCIP_ExprData_Monomial::coef, SCIP_QuadElement::coef, SCIP_ExprData_Quadratic::constant, SCIP_ExprData_Polynomial::constant, SCIP_ExprGraphNode::data, SCIP_ExprGraphNode::depth, SCIP_ExprGraphNode::enabled, SCIP_ExprData_Monomial::exponents, SCIP_QuadElement::idx1, SCIP_QuadElement::idx2, SCIP_Interval::inf, SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprData_Polynomial::monomials, SCIP_ExprGraphNode::nchildren, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, SCIP_ExprData_Quadratic::nquadelems, NULL, SCIP_ExprGraphNode::op, SCIP_ExprGraphNode::pos, SCIP_ExprData_Quadratic::quadelems, SCIP_ALLOC_ABORT, SCIP_CALL_ABORT, SCIP_EXPR_ABS, SCIP_EXPR_CONST, SCIP_EXPR_COS, SCIP_EXPR_DIV, SCIP_EXPR_EXP, SCIP_EXPR_INTPOWER, SCIP_EXPR_LAST, SCIP_EXPR_LINEAR, SCIP_EXPR_LOG, SCIP_EXPR_MAX, SCIP_EXPR_MIN, SCIP_EXPR_MINUS, SCIP_EXPR_MUL, SCIP_EXPR_PARAM, SCIP_EXPR_PLUS, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_PRODUCT, SCIP_EXPR_QUADRATIC, SCIP_EXPR_REALPOWER, SCIP_EXPR_SIGN, SCIP_EXPR_SIGNPOWER, SCIP_EXPR_SIN, SCIP_EXPR_SQRT, SCIP_EXPR_SQUARE, SCIP_EXPR_SUM, SCIP_EXPR_TAN, SCIP_EXPR_USER, SCIP_EXPR_VARIDX, SCIP_EXPRBOUNDSTATUS_CHILDRELAXED, SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENT, SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENTFORCE, SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENTRECENT, SCIP_Real, SCIPABORT, SCIPdebugMessage, SCIPdebugPrintf, SCIPexprgraphTightenNodeBounds(), SCIPintervalAdd(), SCIPintervalAddScalar(), SCIPintervalDiv(), SCIPintervalExp(), SCIPintervalGetRoundingMode(), SCIPintervalIsEmpty(), SCIPintervalIsEntire(), SCIPintervalLog(), SCIPintervalMul(), SCIPintervalMulScalar(), SCIPintervalNegateReal(), SCIPintervalPowerScalar(), SCIPintervalPowerScalarInverse(), SCIPintervalSet(), SCIPintervalSetBounds(), SCIPintervalSetEntire(), SCIPintervalSetRoundingMode(), SCIPintervalSetRoundingModeDownwards(), SCIPintervalSignPowerScalar(), SCIPintervalSolveBivariateQuadExpressionAllScalar(), SCIPintervalSolveUnivariateQuadExpression(), SCIPintervalSquare(), SCIPintervalSquareRoot(), SCIPintervalSub(), SCIPintervalSubScalar(), SCIP_Interval::sup, TRUE, and SCIP_ExprData_User::userdata.

Referenced by SCIPexprgraphPropagateNodeBounds().

static SCIP_RETCODE exprgraphNodeRemovePolynomialDuplicateChildren	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	node
	)

static

removes duplicate children in a polynomial expression node

Leaves NULL's in children array.

Parameters

exprgraph	expression graph
node	expression graph node

Definition at line 11114 of file expr.c.

References SCIP_ExprGraph::blkmem, BMSallocBlockMemoryArray, BMSfreeBlockMemoryArray, SCIP_ExprGraphNode::children, SCIP_ExprGraphNode::data, exprgraphNodeIsParent(), exprgraphNodeRemoveParent(), FALSE, SCIP_ExprGraphNode::nchildren, NULL, SCIP_ExprGraphNode::op, polynomialdataApplyChildmap(), SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_EXPR_POLYNOMIAL, SCIP_OKAY, and TRUE.

Referenced by exprgraphNodeSimplify().

static SCIP_RETCODE exprgraphNodeRemovePolynomialNullChildren	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRGRAPHNODE *	node
	)

static

eliminates NULL's in children array and shrinks it to actual size

Parameters

blkmem	block memory
node	expression graph node

Definition at line 11172 of file expr.c.

References BMSallocBlockMemoryArray, BMSfreeBlockMemoryArray, BMSreallocBlockMemoryArray, SCIP_ExprGraphNode::children, SCIP_ExprGraphNode::data, SCIP_ExprGraphNode::nchildren, NULL, SCIP_ExprGraphNode::op, polynomialdataApplyChildmap(), SCIP_ALLOC, SCIP_EXPR_POLYNOMIAL, and SCIP_OKAY.

Referenced by exprgraphNodeSimplify(), and SCIPexprgraphNodeSplitOffLinear().

static SCIP_RETCODE exprgraphNodeSimplify	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	node,
		SCIP_MESSAGEHDLR *	messagehdlr,
		SCIP_Real	eps,
		int	maxexpansionexponent,
		SCIP_Bool *	havechange
	)

static

aims at simplifying a node in an expression graph, assuming all children have been simplified

Converts node into polynomial, if possible and not constant.

Parameters

exprgraph	expression graph
node	expression graph node
messagehdlr	message handler
eps	threshold, under which positive values are treat as 0
maxexpansionexponent	maximal exponent for which we still expand non-monomial polynomials
havechange	flag to set if the node has been changed

Definition at line 11241 of file expr.c.

References SCIP_ExprGraph::blkmem, BMSallocBlockMemoryArray, BMSclearMemoryArray, BMSfreeBlockMemoryArray, BMSfreeBlockMemoryArrayNull, SCIP_ExprData_Monomial::childidxs, SCIP_ExprGraphNode::children, SCIP_ExprData_Monomial::coef, SCIP_ExprData_Polynomial::constant, SCIP_ExprGraphNode::data, SCIP_ExprGraphNode::depth, ensureBlockMemoryArraySize, EPSISINT, SCIP_ExprData_Monomial::exponents, exprConvertToPolynomial(), exprgraphNodeAddChildren(), exprgraphNodeEvalWithChildren(), exprgraphNodeRemoveParent(), exprgraphNodeRemovePolynomialDuplicateChildren(), exprgraphNodeRemovePolynomialNullChildren(), exprgraphPrintNodeExpression(), FALSE, SCIP_ExprData_Polynomial::monomials, SCIP_ExprGraphNode::nchildren, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, NULL, SCIP_ExprGraphNode::op, polynomialdataExpandMonomialFactor(), polynomialdataFree(), polynomialdataMergeMonomials(), SCIP_ExprGraphNode::pos, pow(), SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_EXPR_CONST, SCIP_EXPR_POLYNOMIAL, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIPdebug, SCIPdebugMessage, SCIPdebugPrintf, SCIPexprFindMonomialFactor(), SCIPmessagePrintWarning(), SCIP_ExprGraphNode::simplified, SCIP_ExprData_Polynomial::sorted, SCIP_ExprData_Monomial::sorted, TRUE, and SCIP_ExprGraphNode::value.

Referenced by SCIPexprgraphSimplify().

static SCIP_RETCODE exprgraphNodeCreateExpr	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	node,
		SCIP_EXPR **	expr,
		int *	nexprvars,
		int *	varidx
	)

static

creates an expression from a given node in an expression graph

Assembles mapping of variables from graph to tree.

Parameters

exprgraph	expression graph
node	expression graph node which expression should be created
expr	buffer to store pointer to created expression
nexprvars	current number of variables in expression
varidx	current mapping of variable indices from graph to expression

Definition at line 11567 of file expr.c.

References SCIP_ExprGraph::blkmem, BMSallocBlockMemoryArray, BMSfreeBlockMemoryArrayNull, SCIP_ExprGraphNode::children, SCIP_ExprData_Quadratic::constant, SCIP_ExprData_Polynomial::constant, SCIP_ExprGraphNode::data, SCIP_ExprData_User::evalcapability, SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprData_Polynomial::monomials, SCIP_ExprGraphNode::nchildren, SCIP_ExprData_Polynomial::nmonomials, SCIP_ExprData_Quadratic::nquadelems, NULL, SCIP_ExprGraph::nvars, SCIP_ExprGraphNode::op, SCIP_ExprData_Quadratic::quadelems, SCIP_ALLOC, SCIP_CALL, SCIP_ERROR, SCIP_EXPR_ABS, SCIP_EXPR_CONST, SCIP_EXPR_COS, SCIP_EXPR_DIV, SCIP_EXPR_EXP, SCIP_EXPR_INTPOWER, SCIP_EXPR_LAST, SCIP_EXPR_LINEAR, SCIP_EXPR_LOG, SCIP_EXPR_MAX, SCIP_EXPR_MIN, SCIP_EXPR_MINUS, SCIP_EXPR_MUL, SCIP_EXPR_PARAM, SCIP_EXPR_PLUS, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_PRODUCT, SCIP_EXPR_QUADRATIC, SCIP_EXPR_REALPOWER, SCIP_EXPR_SIGN, SCIP_EXPR_SIGNPOWER, SCIP_EXPR_SIN, SCIP_EXPR_SQRT, SCIP_EXPR_SQUARE, SCIP_EXPR_SUM, SCIP_EXPR_TAN, SCIP_EXPR_USER, SCIP_EXPR_VARIDX, SCIP_OKAY, SCIP_Real, SCIPerrorMessage, SCIPexprCreate(), SCIPexprCreateLinear(), SCIPexprCreatePolynomial(), SCIPexprCreateQuadratic(), SCIPexprCreateUser(), TRUE, and SCIP_ExprData_User::userdata.

Referenced by SCIPexprgraphGetSeparableTrees(), SCIPexprgraphGetSumTrees(), and SCIPexprgraphGetTree().

static void exprgraphNodeGetVarsUsage	(	SCIP_EXPRGRAPHNODE *	node,
		int *	varsusage
	)

static

counts how often expression graph variables are used in a subtree of the expression graph

Note: The function does not clear the array first, but only increases already existing counts.

Parameters

node	root node of expression graph subtree
varsusage	array where to count usage of variables, length must be at least the number of variables in the graph

Definition at line 11745 of file expr.c.

References SCIP_ExprGraphNode::children, SCIP_ExprGraphNode::data, SCIP_ExprGraphNode::nchildren, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_VARIDX.

Referenced by SCIPexprgraphGetSubtreeVarsUsage(), and SCIPexprgraphNodeSplitOffLinear().

static void exprgraphNodeCheckSeparabilityComponent	(	SCIP_EXPRGRAPHNODE *	node,
		int *	compnr,
		int	nchildcomps,
		int *	childcomps,
		int	nvars,
		int *	varcomps
	)

static

checks whether a node can be put into a component when checking block separability of an expression

If a variable used by node is already in another component, components are merged and component number is updated.

Parameters

node	node to which we assign a component
compnr	component number to assign, may be reduced if variables overlap
nchildcomps	number of entries for which childcomps have been set already
childcomps	component numbers of children
nvars	number of variables
varcomps	component numbers of variables

Definition at line 11770 of file expr.c.

References SCIP_ExprGraphNode::children, SCIP_ExprGraphNode::data, SCIP_ExprGraphNode::nchildren, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_VARIDX.

Referenced by SCIPexprgraphGetSeparableTrees().

static SCIP_RETCODE exprgraphEnsureDepth	(	SCIP_EXPRGRAPH *	exprgraph,
		int	mindepth
	)

static

assert that expression tree has at least a given depth

Parameters

exprgraph	buffer to store pointer to expression graph
mindepth	minimal depth that should be ensured

Definition at line 11830 of file expr.c.

References SCIP_ExprGraph::blkmem, BMSclearMemoryArray, SCIP_ExprGraph::depth, ensureBlockMemoryArraySize3, SCIP_ExprGraph::nnodes, SCIP_ExprGraph::nodes, SCIP_ExprGraph::nodessize, NULL, and SCIP_OKAY.

Referenced by exprgraphMoveNode(), SCIPexprgraphAddNode(), and SCIPexprgraphCreate().

static SCIP_RETCODE exprgraphRemoveVar	(	SCIP_EXPRGRAPH *	exprgraph,
		int	varidx
	)

static

remove a variable from the variables arrays, assuming that its node will be removed or converted next

Parameters

exprgraph	expression graph
varidx	variable index

Definition at line 11857 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraph::nvars, SCIP_CALL, SCIP_OKAY, SCIPhashmapRemove(), SCIPhashmapSetImage(), SCIP_ExprGraph::userdata, SCIP_ExprGraph::varbounds, SCIP_ExprGraph::varidxs, SCIP_ExprGraph::varnodes, and SCIP_ExprGraph::vars.

Referenced by SCIPexprgraphReleaseNode(), and SCIPexprgraphReplaceVarByLinearSum().

static SCIP_RETCODE exprgraphMoveNode	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	node,
		int	newdepth
	)

static

moves a node in an expression graph to a different depth

New depth must be larger than children depth. Moves parent nodes to higher depth, if needed. Variable nodes cannot be moved.

Parameters

exprgraph	expression graph
node	node that shall be moved
newdepth	new depth to which to move node

Definition at line 11910 of file expr.c.

References SCIP_ExprGraph::blkmem, SCIP_ExprGraphNode::children, SCIP_ExprGraph::constnodes, SCIP_ExprGraph::constssize, SCIP_ExprGraph::constssorted, SCIP_ExprGraphNode::curv, SCIP_ExprGraphNode::depth, SCIP_ExprGraph::depth, ensureBlockMemoryArraySize, exprgraphEnsureDepth(), SCIP_ExprGraphNode::nchildren, SCIP_ExprGraph::nconsts, SCIP_ExprGraph::nnodes, SCIP_ExprGraph::nodes, SCIP_ExprGraph::nodessize, SCIP_ExprGraphNode::nparents, NULL, SCIP_ExprGraphNode::op, SCIP_ExprGraphNode::parents, SCIP_ExprGraphNode::pos, SCIP_CALL, SCIP_ERROR, SCIP_EXPR_CONST, SCIP_EXPR_VARIDX, SCIP_EXPRCURV_LINEAR, SCIP_OKAY, SCIPdebugMessage, and SCIPerrorMessage.

Referenced by SCIPexprgraphMoveNodeParents(), SCIPexprgraphReplaceVarByLinearSum(), and SCIPexprgraphSimplify().

static SCIP_RETCODE exprgraphFindParentByOperator	(	SCIP_EXPRGRAPH *	exprgraph,
		int	nchildren,
		SCIP_EXPRGRAPHNODE **	children,
		SCIP_EXPROP	op,
		SCIP_EXPROPDATA	opdata,
		SCIP_EXPR **	exprchildren,
		SCIP_EXPRGRAPHNODE **	parent
	)

static

given a list of children, tries to find a common parent that represents a given operator with the same given data

Parameters

exprgraph	expression graph
nchildren	number of children
children	children which parents to inspect
op	operator
opdata	operator data
exprchildren	children of expression to consider when modifying (reordering) operator data, or NULL
parent	buffer to store parent node if any is found, or NULL if none found

Definition at line 11998 of file expr.c.

References SCIP_ExprGraph::blkmem, BMSallocBlockMemoryArray, BMSfreeBlockMemoryArray, SCIP_QuadElement::coef, SCIP_ExprData_Quadratic::constant, SCIP_ExprData_Polynomial::constant, SCIP_ExprGraphNode::data, exprgraphNodeIsParent(), SCIP_QuadElement::idx1, SCIP_QuadElement::idx2, SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprData_Polynomial::monomials, SCIP_ExprData_Polynomial::nmonomials, SCIP_ExprGraphNode::nparents, SCIP_ExprData_Quadratic::nquadelems, NULL, SCIP_ExprGraphNode::parents, polynomialdataApplyChildmap(), polynomialdataSortMonomials(), SCIP_ExprData_Quadratic::quadelems, SCIP_ALLOC, SCIP_ERROR, SCIP_EXPR_ABS, SCIP_EXPR_CONST, SCIP_EXPR_COS, SCIP_EXPR_DIV, SCIP_EXPR_EXP, SCIP_EXPR_INTPOWER, SCIP_EXPR_LAST, SCIP_EXPR_LINEAR, SCIP_EXPR_LOG, SCIP_EXPR_MAX, SCIP_EXPR_MIN, SCIP_EXPR_MINUS, SCIP_EXPR_MUL, SCIP_EXPR_PARAM, SCIP_EXPR_PLUS, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_PRODUCT, SCIP_EXPR_QUADRATIC, SCIP_EXPR_REALPOWER, SCIP_EXPR_SIGN, SCIP_EXPR_SIGNPOWER, SCIP_EXPR_SIN, SCIP_EXPR_SQRT, SCIP_EXPR_SQUARE, SCIP_EXPR_SUM, SCIP_EXPR_TAN, SCIP_EXPR_USER, SCIP_EXPR_VARIDX, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPexprAreMonomialsEqual(), SCIPquadelemSort(), SCIPsortPtr(), SCIPsortPtrInt(), SCIPsortPtrPtrInt(), SCIPsortPtrPtrReal(), SCIPsortPtrPtrRealInt(), SCIPsortPtrReal(), SCIPsortPtrRealInt(), SCIP_ExprData_Quadratic::sorted, and TRUE.

Referenced by exprgraphAddExpr(), and SCIPexprgraphAddExprtreeSum().

static SCIP_RETCODE exprgraphAddExpr	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPR *	expr,
		void **	vars,
		SCIP_Real *	params,
		SCIP_EXPRGRAPHNODE **	exprnode,
		SCIP_Bool *	exprnodeisnew
	)

static

adds an expression into an expression graph

Enables corresponding nodes.

Parameters

exprgraph	expression graph
expr	expression to add
vars	variables corresponding to VARIDX expressions
params	parameter values
exprnode	buffer to store expression graph node corresponding to root of this expression
exprnodeisnew	buffer to indicate whether the node in *exprnode has been newly created for this expression (otherwise, expression was already in graph)

Definition at line 12466 of file expr.c.

References SCIP_ExprGraph::blkmem, BMSallocBlockMemoryArray, BMSfreeBlockMemoryArray, SCIP_Expr::children, SCIP_Expr::data, exprgraphCreateNode(), exprgraphFindParentByOperator(), FALSE, SCIP_Expr::nchildren, NULL, SCIP_ExprGraph::nvars, SCIP_Expr::op, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_EXPR_CONST, SCIP_EXPR_PARAM, SCIP_EXPR_VARIDX, SCIP_OKAY, SCIPdebugMessage, SCIPexprgraphAddConst(), SCIPexprgraphAddNode(), SCIPexprgraphAddVars(), TRUE, and SCIP_ExprGraph::vars.

Referenced by SCIPexprgraphAddExprtreeSum().

static void exprgraphUpdateVarNodeBounds	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_Bool *	clearreverseprop,
		SCIP_Bool *	boundchanged
	)

static

sets bounds in variable nodes to those stored in exprgraph's varbounds array

Parameters

exprgraph	expression graph
clearreverseprop	flag to set if we had reset bound tightenings from reverse propagation
boundchanged	buffer to store whether a variables bound has changes, compared to those stored in nodes

Definition at line 12598 of file expr.c.

References SCIP_ExprGraphNode::bounds, SCIP_ExprGraphNode::boundstatus, FALSE, SCIP_Interval::inf, isLbBetter(), isUbBetter(), MAX, MIN, SCIP_ExprGraphNode::nparents, NULL, SCIP_ExprGraph::nvars, SCIP_ExprGraphNode::parents, SCIP_EXPRBOUNDSTATUS_CHILDRELAXED, SCIP_EXPRBOUNDSTATUS_CHILDTIGHTENED, SCIP_EXPRBOUNDSTATUS_VALID, SCIP_Real, SCIPdebugMessage, SCIP_Interval::sup, TRUE, SCIP_ExprGraph::varbounds, and SCIP_ExprGraph::varnodes.

Referenced by SCIPexprgraphCheckCurvature(), and SCIPexprgraphPropagateVarBounds().

void SCIPexprgraphCaptureNode ( SCIP_EXPRGRAPHNODE * node )

captures node, i.e., increases number of uses

Parameters

node	expression graph node to capture

Definition at line 12711 of file expr.c.

References SCIP_ExprGraphNode::nuses, and SCIPdebugMessage.

Referenced by exprgraphNodeRemoveParent(), reformReplaceNode(), SCIPcreateConsNonlinear2(), SCIPexprgraphAddExprtreeSum(), and SCIPexprgraphNodeSplitOffLinear().

SCIP_Bool SCIPexprgraphIsNodeEnabled ( SCIP_EXPRGRAPHNODE * node )

returns whether a node is currently enabled

Parameters

node	expression graph node to enable

Definition at line 12723 of file expr.c.

References SCIP_ExprGraphNode::enabled, and NULL.

Referenced by reformulate().

int SCIPexprgraphGetNodeNChildren ( SCIP_EXPRGRAPHNODE * node )

gets number of children of a node in an expression graph

Parameters

node	expression graph node

Definition at line 12733 of file expr.c.

References SCIP_ExprGraphNode::nchildren, and NULL.

Referenced by reformEnsureChildrenMinCurvature(), reformMonomial(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), and splitOffLinearPart().

SCIP_EXPRGRAPHNODE** SCIPexprgraphGetNodeChildren ( SCIP_EXPRGRAPHNODE * node )

gets children of a node in an expression graph

Parameters

node	expression graph node

Definition at line 12743 of file expr.c.

References SCIP_ExprGraphNode::children, and NULL.

Referenced by reformEnsureChildrenMinCurvature(), reformMonomial(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().

int SCIPexprgraphGetNodeNParents ( SCIP_EXPRGRAPHNODE * node )

gets number of parents of a node in an expression graph

Parameters

node	expression graph node

Definition at line 12753 of file expr.c.

References SCIP_ExprGraphNode::nparents, and NULL.

Referenced by reformMonomial(), reformReplaceNode(), and reformulate().

SCIP_EXPRGRAPHNODE** SCIPexprgraphGetNodeParents ( SCIP_EXPRGRAPHNODE * node )

gets parents of a node in an expression graph

Parameters

node	expression graph node

Definition at line 12763 of file expr.c.

References NULL, and SCIP_ExprGraphNode::parents.

Referenced by reformMonomial().

int SCIPexprgraphGetNodeDepth ( SCIP_EXPRGRAPHNODE * node )

gets depth of node in expression graph

Parameters

node	expression graph node

Definition at line 12773 of file expr.c.

References SCIP_ExprGraphNode::depth, and NULL.

Referenced by reformEnsureChildrenMinCurvature(), reformNode2Var(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().

int SCIPexprgraphGetNodePosition ( SCIP_EXPRGRAPHNODE * node )

gets position of node in expression graph at its depth level

Parameters

node	expression graph node

Definition at line 12783 of file expr.c.

References NULL, and SCIP_ExprGraphNode::pos.

Referenced by reformEnsureChildrenMinCurvature(), reformNode2Var(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().

SCIP_EXPROP SCIPexprgraphGetNodeOperator ( SCIP_EXPRGRAPHNODE * node )

gets operator of a node in an expression graph

Parameters

node	expression graph node

Definition at line 12793 of file expr.c.

References NULL, and SCIP_ExprGraphNode::op.

Referenced by reformEnsureChildrenMinCurvature(), reformMonomial(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), and SCIPexprgraphNodePolynomialAddMonomials().

int SCIPexprgraphGetNodeOperatorIndex ( SCIP_EXPRGRAPHNODE * node )

gives index belonging to a SCIP_EXPR_VARIDX or SCIP_EXPR_PARAM operand

Parameters

node	expression graph node

Definition at line 12803 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, SCIP_EXPR_PARAM, and SCIP_EXPR_VARIDX.

SCIP_Real SCIPexprgraphGetNodeOperatorReal ( SCIP_EXPRGRAPHNODE * node )

gives real belonging to a SCIP_EXPR_CONST operand

Parameters

node	expression graph node

Definition at line 12814 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_CONST.

void* SCIPexprgraphGetNodeVar	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	node
	)

gives variable belonging to a SCIP_EXPR_VARIDX expression

Parameters

exprgraph	expression graph
node	expression graph node

Definition at line 12825 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraph::nvars, SCIP_ExprGraphNode::op, SCIP_EXPR_VARIDX, and SCIP_ExprGraph::vars.

Referenced by SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().

SCIP_Real SCIPexprgraphGetNodeRealPowerExponent ( SCIP_EXPRGRAPHNODE * node )

gives exponent belonging to a SCIP_EXPR_REALPOWER expression

Parameters

node	expression graph node

Definition at line 12840 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_REALPOWER.

Referenced by reformMonomial(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().

int SCIPexprgraphGetNodeIntPowerExponent ( SCIP_EXPRGRAPHNODE * node )

gives exponent belonging to a SCIP_EXPR_INTPOWER expression

Parameters

node	expression graph node

Definition at line 12851 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_INTPOWER.

Referenced by reformMonomial(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().

SCIP_Real SCIPexprgraphGetNodeSignPowerExponent ( SCIP_EXPRGRAPHNODE * node )

gives exponent belonging to a SCIP_EXPR_SIGNPOWER expression

Parameters

node	expression graph node

Definition at line 12862 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_SIGNPOWER.

Referenced by reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().

SCIP_Real* SCIPexprgraphGetNodeLinearCoefs ( SCIP_EXPRGRAPHNODE * node )

gives linear coefficients belonging to a SCIP_EXPR_LINEAR expression

Parameters

node	expression graph node

Definition at line 12873 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, SCIP_EXPR_LINEAR, and SCIP_Real.

Referenced by SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().

SCIP_Real SCIPexprgraphGetNodeLinearConstant ( SCIP_EXPRGRAPHNODE * node )

gives constant belonging to a SCIP_EXPR_LINEAR expression

Parameters

node	expression graph node

Definition at line 12884 of file expr.c.

References SCIP_ExprGraphNode::data, SCIP_ExprGraphNode::nchildren, NULL, SCIP_ExprGraphNode::op, SCIP_EXPR_LINEAR, and SCIP_Real.

Referenced by SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().

SCIP_Real SCIPexprgraphGetNodeQuadraticConstant ( SCIP_EXPRGRAPHNODE * node )

gives constant belonging to a SCIP_EXPR_QUADRATIC expression

Parameters

node	expression graph node

Definition at line 12896 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_QUADRATIC.

Referenced by SCIP_DECL_NONLINCONSUPGD().

SCIP_Real* SCIPexprgraphGetNodeQuadraticLinearCoefs ( SCIP_EXPRGRAPHNODE * node )

gives linear coefficients belonging to a SCIP_EXPR_QUADRATIC expression, or NULL if all coefficients are 0.0

Parameters

node	expression graph node

Definition at line 12908 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_QUADRATIC.

Referenced by SCIP_DECL_NONLINCONSUPGD().

SCIP_QUADELEM* SCIPexprgraphGetNodeQuadraticQuadElements ( SCIP_EXPRGRAPHNODE * node )

gives quadratic elements belonging to a SCIP_EXPR_QUADRATIC expression

Parameters

node	expression graph node

Definition at line 12920 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_QUADRATIC.

Referenced by SCIP_DECL_NONLINCONSUPGD().

int SCIPexprgraphGetNodeQuadraticNQuadElements ( SCIP_EXPRGRAPHNODE * node )

gives number of quadratic elements belonging to a SCIP_EXPR_QUADRATIC expression

Parameters

node	expression graph node

Definition at line 12932 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_QUADRATIC.

Referenced by SCIP_DECL_NONLINCONSUPGD().

SCIP_EXPRDATA_MONOMIAL** SCIPexprgraphGetNodePolynomialMonomials ( SCIP_EXPRGRAPHNODE * node )

gives the monomials belonging to a SCIP_EXPR_POLYNOMIAL expression

Parameters

node	expression graph node

Definition at line 12944 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_POLYNOMIAL.

Referenced by reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().

int SCIPexprgraphGetNodePolynomialNMonomials ( SCIP_EXPRGRAPHNODE * node )

gives the number of monomials belonging to a SCIP_EXPR_POLYNOMIAL expression

Parameters

node	expression graph node

Definition at line 12956 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_POLYNOMIAL.

Referenced by reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().

SCIP_Real SCIPexprgraphGetNodePolynomialConstant ( SCIP_EXPRGRAPHNODE * node )

gives the constant belonging to a SCIP_EXPR_POLYNOMIAL expression

Parameters

node	expression graph node

Definition at line 12968 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_POLYNOMIAL.

Referenced by reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().

SCIP_RETCODE SCIPexprgraphGetNodePolynomialMonomialCurvature	(	SCIP_EXPRGRAPHNODE *	node,
		int	monomialidx,
		SCIP_Real	infinity,
		SCIP_EXPRCURV *	curv
	)

gives the curvature of a single monomial belonging to a SCIP_EXPR_POLYNOMIAL expression

Assumes that curvature of children and bounds of children and node itself are valid.

Parameters

node	expression graph node
monomialidx	index of monomial
infinity	value for infinity in interval arithmetics
curv	buffer to store monomial curvature

Definition at line 12983 of file expr.c.

Referenced by reformulate().

SCIP_USEREXPRDATA* SCIPexprgraphGetNodeUserData ( SCIP_EXPRGRAPHNODE * node )

gives the user data belonging to a SCIP_EXPR_USER expression

Definition at line 13061 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_USER.

SCIP_Bool SCIPexprgraphHasNodeUserEstimator ( SCIP_EXPRGRAPHNODE * node )

indicates whether a user expression has the estimator callback defined

Definition at line 13073 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_USER.

SCIP_INTERVAL SCIPexprgraphGetNodeBounds ( SCIP_EXPRGRAPHNODE * node )

gets bounds of a node in an expression graph

Parameters

node	expression graph node

Definition at line 13085 of file expr.c.

References SCIP_ExprGraphNode::bounds, and NULL.

Referenced by propagateBounds(), propagateBoundsCons(), propagateConstraintSides(), reformEnsureChildrenMinCurvature(), reformMonomial(), reformNode2Var(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().

SCIP_Real SCIPexprgraphGetNodeVal ( SCIP_EXPRGRAPHNODE * node )

gets value of expression associated to node from last evaluation call

Parameters

node	expression graph node

Definition at line 13095 of file expr.c.

References NULL, and SCIP_ExprGraphNode::value.

Referenced by computeViolation(), reformMonomial(), reformNode2Var(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), and SCIPexprgraphSimplify().

SCIP_EXPRCURV SCIPexprgraphGetNodeCurvature ( SCIP_EXPRGRAPHNODE * node )

gets curvature of expression associated to node from last curvature check call

Parameters

node	expression graph node

Definition at line 13105 of file expr.c.

References SCIP_ExprGraphNode::curv, and NULL.

Referenced by reformEnsureChildrenMinCurvature(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().

SCIP_RETCODE SCIPexprgraphCreateNode	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRGRAPHNODE **	node,
		SCIP_EXPROP	op,
			...
	)

creates an expression graph node

Parameters

blkmem	block memory
node	buffer to store expression graph node
op	operator type of expression

Definition at line 13115 of file expr.c.

References exprgraphCreateNode(), NULL, SCIP_CALL, SCIP_ERROR, SCIP_EXPR_ABS, SCIP_EXPR_CONST, SCIP_EXPR_COS, SCIP_EXPR_DIV, SCIP_EXPR_EXP, SCIP_EXPR_INTPOWER, SCIP_EXPR_LAST, SCIP_EXPR_LINEAR, SCIP_EXPR_LOG, SCIP_EXPR_MAX, SCIP_EXPR_MIN, SCIP_EXPR_MINUS, SCIP_EXPR_MUL, SCIP_EXPR_PARAM, SCIP_EXPR_PLUS, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_PRODUCT, SCIP_EXPR_QUADRATIC, SCIP_EXPR_REALPOWER, SCIP_EXPR_SIGN, SCIP_EXPR_SIGNPOWER, SCIP_EXPR_SIN, SCIP_EXPR_SQRT, SCIP_EXPR_SQUARE, SCIP_EXPR_SUM, SCIP_EXPR_TAN, SCIP_EXPR_USER, SCIP_EXPR_VARIDX, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIPABORT, and SCIPerrorMessage.

Referenced by reformMonomial(), and reformulate().

SCIP_RETCODE SCIPexprgraphCreateNodeLinear	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRGRAPHNODE **	node,
		int	ncoefs,
		SCIP_Real *	coefs,
		SCIP_Real	constant
	)

creates an expression graph node for a linear expression

Parameters

blkmem	block memory
node	buffer to store expression graph node
ncoefs	number of coefficients
coefs	coefficients of linear expression
constant	constant of linear expression

Definition at line 13198 of file expr.c.

References BMSallocBlockMemoryArray, BMScopyMemoryArray, exprgraphCreateNode(), NULL, SCIP_ALLOC, SCIP_CALL, SCIP_EXPR_LINEAR, SCIP_OKAY, and SCIP_Real.

Referenced by reformulate(), and SCIP_DECL_EXPRGRAPHNODEREFORM().

SCIP_RETCODE SCIPexprgraphCreateNodeQuadratic	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRGRAPHNODE **	node,
		int	nchildren,
		SCIP_Real *	lincoefs,
		int	nquadelems,
		SCIP_QUADELEM *	quadelems,
		SCIP_Real	constant
	)

creates an expression graph node for a quadratic expression

Parameters

blkmem	block memory
node	buffer to store expression graph node
nchildren	number of children
lincoefs	linear coefficients for children, or NULL
nquadelems	number of quadratic elements
quadelems	quadratic elements, or NULL if nquadelems == 0
constant	constant

Definition at line 13224 of file expr.c.

References exprgraphCreateNode(), NULL, quadraticdataCreate(), SCIP_CALL, SCIP_EXPR_QUADRATIC, and SCIP_OKAY.

Referenced by reformulate().

SCIP_RETCODE SCIPexprgraphCreateNodePolynomial	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRGRAPHNODE **	node,
		int	nmonomials,
		SCIP_EXPRDATA_MONOMIAL **	monomials,
		SCIP_Real	constant,
		SCIP_Bool	copymonomials
	)

creates an expression graph node for a polynomial expression

Parameters

blkmem	block memory
node	buffer to store expression graph node
nmonomials	number of monomials
monomials	monomials
constant	constant of polynomial
copymonomials	whether to copy monomials or to assume ownership

Definition at line 13250 of file expr.c.

References exprgraphCreateNode(), NULL, polynomialdataCreate(), SCIP_CALL, SCIP_EXPR_POLYNOMIAL, and SCIP_OKAY.

Referenced by reformulate().

SCIP_RETCODE SCIPexprgraphNodePolynomialAddMonomials	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRGRAPHNODE *	node,
		int	nmonomials,
		SCIP_EXPRDATA_MONOMIAL **	monomials,
		SCIP_Bool	copymonomials
	)

adds monomials to an expression graph node that is a polynomial expression

Parameters

blkmem	block memory
node	store expression graph node with polynomial operator
nmonomials	number of monomials
monomials	monomials
copymonomials	whether to copy monomials or to assume ownership

Definition at line 13275 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, polynomialdataAddMonomials(), SCIP_CALL, SCIP_EXPR_POLYNOMIAL, SCIP_OKAY, and SCIPexprgraphGetNodeOperator().

SCIP_RETCODE SCIPexprgraphCreateNodeUser	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRGRAPHNODE **	node,
		SCIP_USEREXPRDATA *	data,
		SCIP_EXPRINTCAPABILITY	evalcapability,
		SCIP_DECL_USEREXPREVAL((*eval))	,
		SCIP_DECL_USEREXPRINTEVAL((*inteval))	,
		SCIP_DECL_USEREXPRCURV((*curv))	,
		SCIP_DECL_USEREXPRPROP((*prop))	,
		SCIP_DECL_USEREXPRESTIMATE((*estimate))	,
		SCIP_DECL_USEREXPRCOPYDATA((*copydata))	,
		SCIP_DECL_USEREXPRFREEDATA((*freedata))
	)

creates an expression graph node for a user expression

Parameters

blkmem	block memory
node	buffer to store expression graph node
data	user data for expression, node assumes ownership
evalcapability	evaluation capability

Definition at line 13294 of file expr.c.

References BMSallocBlockMemory, eval(), SCIP_ExprData_User::evalcapability, exprgraphCreateNode(), NULL, SCIP_ALLOC, SCIP_CALL, SCIP_EXPR_USER, SCIP_EXPRINTCAPABILITY_FUNCVALUE, SCIP_EXPRINTCAPABILITY_INTFUNCVALUE, SCIP_OKAY, and SCIP_ExprData_User::userdata.

SCIP_RETCODE SCIPexprgraphNodeSplitOffLinear	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE **	node,
		int	linvarssize,
		int *	nlinvars,
		void **	linvars,
		SCIP_Real *	lincoefs,
		SCIP_Real *	constant
	)

given a node of an expression graph, splitup a linear part which variables are not used somewhere else in the same expression

E.g., if the expression is 1 + x + y + y^2, one gets 1 + x and the node remains at y + y^2. If the node is a linear expression, it may be freed. If it is not linear, the node may change, i.e., the remaining nonlinear part may be stored in a new node. It is assumed that the user had captured the node. It is assumed that the expression graph has been simplified before.

Parameters

exprgraph	expression graph
node	expression graph node where to splitup linear part
linvarssize	length of linvars and lincoefs arrays
nlinvars	buffer to store length of linear term that have been splitup
linvars	buffer to store variables of linear part
lincoefs	buffer to store coefficients of linear part
constant	buffer to store constant part

Definition at line 13346 of file expr.c.

References SCIP_ExprGraph::blkmem, BMSallocBlockMemoryArray, BMSclearMemoryArray, BMSfreeBlockMemoryArray, BMSreallocBlockMemoryArray, SCIP_ExprData_Monomial::childidxs, SCIP_ExprGraphNode::children, SCIP_ExprData_Monomial::coef, SCIP_ExprData_Quadratic::constant, SCIP_ExprData_Polynomial::constant, SCIP_ExprGraphNode::data, SCIP_ExprGraphNode::depth, SCIP_ExprData_Monomial::exponents, exprgraphCreateNode(), exprgraphNodeGetVarsUsage(), exprgraphNodeRemoveParent(), exprgraphNodeRemovePolynomialNullChildren(), FALSE, SCIP_QuadElement::idx1, SCIP_QuadElement::idx2, SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprData_Polynomial::monomials, SCIP_ExprGraphNode::nchildren, SCIP_ExprGraph::needvarboundprop, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, SCIP_ExprData_Quadratic::nquadelems, NULL, SCIP_ExprGraph::nvars, SCIP_ExprGraphNode::op, polynomialdataMergeMonomials(), SCIP_ExprData_Quadratic::quadelems, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_EXPR_ABS, SCIP_EXPR_CONST, SCIP_EXPR_COS, SCIP_EXPR_DIV, SCIP_EXPR_EXP, SCIP_EXPR_INTPOWER, SCIP_EXPR_LINEAR, SCIP_EXPR_LOG, SCIP_EXPR_MAX, SCIP_EXPR_MIN, SCIP_EXPR_MINUS, SCIP_EXPR_MUL, SCIP_EXPR_PLUS, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_PRODUCT, SCIP_EXPR_QUADRATIC, SCIP_EXPR_REALPOWER, SCIP_EXPR_SIGN, SCIP_EXPR_SIGNPOWER, SCIP_EXPR_SIN, SCIP_EXPR_SQRT, SCIP_EXPR_SQUARE, SCIP_EXPR_SUM, SCIP_EXPR_TAN, SCIP_EXPR_USER, SCIP_EXPR_VARIDX, SCIP_EXPRBOUNDSTATUS_CHILDTIGHTENED, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIP_REAL_MAX, SCIPdebugMessage, SCIPexprgraphAddNode(), SCIPexprgraphCaptureNode(), SCIPexprgraphReleaseNode(), SCIPexpropGetName(), SCIPintervalSetEntire(), SCIP_ExprData_Quadratic::sorted, SCIP_ExprData_Polynomial::sorted, TRUE, and SCIP_ExprGraph::vars.

Referenced by splitOffLinearPart().

SCIP_RETCODE SCIPexprgraphMoveNodeParents	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE **	srcnode,
		SCIP_EXPRGRAPHNODE *	targetnode
	)

moves parents from a one node to another node

In other words, replaces the child srcnode by targetnode in all parents of srcnode. srcnode may be freed, if not captured. It is assumed that targetnode represents the same expression as srcnode.

Parameters

exprgraph	expression graph
srcnode	node which parents to move
targetnode	node where to move parents to

Definition at line 14158 of file expr.c.

References SCIP_ExprGraphNode::depth, exprgraphMoveNode(), exprgraphNodeReplaceChild(), NULL, SCIP_CALL, and SCIP_OKAY.

Referenced by reformReplaceNode(), SCIPexprgraphReplaceVarByLinearSum(), and SCIPexprgraphSimplify().

SCIP_RETCODE SCIPexprgraphReleaseNode	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE **	node
	)

releases node, i.e., decreases number of uses

node is freed if no parents and no other uses. Children are recursively released if they have no other parents. Nodes that are removed are also freed. If node correspond to a variable, then the variable is removed from the expression graph; similarly for constants.

Parameters

exprgraph	expression graph
node	expression graph node to release

Definition at line 14190 of file expr.c.

References SCIP_ExprGraph::blkmem, SCIP_ExprGraph::constnodes, SCIP_ExprGraph::constssorted, SCIP_ExprGraphNode::depth, SCIP_ExprGraph::depth, exprgraphFindConstNodePos(), exprgraphNodeRemoveParent(), exprgraphRemoveVar(), SCIP_ExprGraph::nconsts, SCIP_ExprGraph::nnodes, SCIP_ExprGraph::nodes, NULL, SCIP_ExprGraphNode::pos, SCIP_CALL, SCIP_EXPR_CONST, SCIP_EXPR_VARIDX, SCIP_OKAY, SCIPdebugMessage, SCIPexprgraphFreeNode(), and SCIPexpropGetName().

Referenced by exprgraphNodeRemoveParent(), reformReplaceNode(), SCIP_DECL_CONSDEACTIVE(), and SCIPexprgraphNodeSplitOffLinear().

void SCIPexprgraphFreeNode	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRGRAPHNODE **	node
	)

frees a node of an expression graph

Parameters

blkmem	block memory
node	pointer to expression graph node that should be freed

Definition at line 14280 of file expr.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArrayNull, and NULL.

Referenced by SCIPexprgraphReleaseNode().

void SCIPexprgraphEnableNode	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	node
	)

enables a node and recursively all its children in an expression graph

Parameters

exprgraph	expression graph
node	expression graph node to enable

Definition at line 14305 of file expr.c.

References SCIP_ExprGraphNode::bounds, SCIP_ExprGraphNode::children, SCIP_ExprGraphNode::depth, SCIP_ExprGraphNode::enabled, SCIP_ExprGraphNode::nchildren, SCIP_ExprGraph::needvarboundprop, NULL, SCIP_ExprGraphNode::pos, SCIP_REAL_MAX, SCIPdebugMessage, SCIPexprgraphEnableNode(), SCIPintervalSetEntire(), and TRUE.

Referenced by SCIP_DECL_CONSENABLE(), and SCIPexprgraphEnableNode().

void SCIPexprgraphDisableNode	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	node
	)

disables a node and recursively all children which have no enabled parents in an expression graph

Parameters

exprgraph	expression graph
node	expression graph node to enable

Definition at line 14332 of file expr.c.

References SCIP_ExprGraphNode::children, SCIP_ExprGraphNode::depth, SCIP_ExprGraphNode::enabled, FALSE, SCIP_ExprGraphNode::nchildren, SCIP_ExprGraphNode::nparents, NULL, SCIP_ExprGraphNode::nuses, SCIP_ExprGraphNode::parents, SCIP_ExprGraphNode::pos, SCIPdebugMessage, SCIPexprgraphDisableNode(), and TRUE.

Referenced by SCIP_DECL_CONSDISABLE(), and SCIPexprgraphDisableNode().

SCIP_Bool SCIPexprgraphHasNodeSibling ( SCIP_EXPRGRAPHNODE * node )

returns whether the node has siblings in the expression graph

Parameters

node	expression graph node

Definition at line 14363 of file expr.c.

References FALSE, SCIP_ExprGraphNode::nchildren, SCIP_ExprGraphNode::nparents, NULL, SCIP_ExprGraphNode::parents, and TRUE.

Referenced by reformulate(), and SCIP_DECL_EXPRGRAPHNODEREFORM().

SCIP_Bool SCIPexprgraphAreAllNodeChildrenVars ( SCIP_EXPRGRAPHNODE * node )

returns whether all children of an expression graph node are variable nodes

Returns TRUE for nodes without children.

Parameters

node	expression graph node

Definition at line 14382 of file expr.c.

References SCIP_ExprGraphNode::children, FALSE, SCIP_ExprGraphNode::nchildren, NULL, SCIP_ExprGraphNode::op, SCIP_EXPR_VARIDX, and TRUE.

Referenced by SCIP_DECL_NONLINCONSUPGD().

SCIP_Bool SCIPexprgraphHasNodeNonlinearAncestor ( SCIP_EXPRGRAPHNODE * node )

returns whether the node has an ancestor which has a nonlinear expression operand

Parameters

node	expression graph node

Definition at line 14398 of file expr.c.

References SCIP_ExprGraphNode::depth, FALSE, SCIP_ExprGraphNode::nparents, SCIP_ExprGraphNode::op, SCIP_ExprGraphNode::parents, SCIP_EXPR_CONST, SCIP_EXPR_LINEAR, SCIP_EXPR_MINUS, SCIP_EXPR_PARAM, SCIP_EXPR_PLUS, SCIP_EXPR_SUM, SCIP_EXPR_VARIDX, SCIPexprgraphHasNodeNonlinearAncestor(), and TRUE.

Referenced by reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIPexprgraphHasNodeNonlinearAncestor().

void SCIPexprgraphPrintNode	(	SCIP_EXPRGRAPHNODE *	node,
		SCIP_MESSAGEHDLR *	messagehdlr,
		FILE *	file
	)

prints an expression graph node

Parameters

node	expression graph node
messagehdlr	message handler
file	file to print to, or NULL for stdout

Definition at line 14435 of file expr.c.

References exprgraphPrintNodeExpression(), FALSE, and NULL.

Referenced by reformulate().

void SCIPexprgraphTightenNodeBounds	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	node,
		SCIP_INTERVAL	nodebounds,
		SCIP_Real	minstrength,
		SCIP_Real	infinity,
		SCIP_Bool *	cutoff
	)

tightens the bounds in a node of the graph

Preparation for reverse propagation. Sets bound status to SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENTRECENT if tightening is strong enough and not cutoff.

Parameters

exprgraph	expression graph
node	node in expression graph with no parents
nodebounds	new bounds for node
minstrength	minimal required relative bound strengthening in a node to trigger a propagation into children nodes (set to negative value if propagation should always be triggered)
infinity	value for infinity in interval arithmetics
cutoff	buffer to store whether a node's bounds were propagated to an empty interval

Definition at line 14451 of file expr.c.

References SCIP_ExprGraphNode::bounds, SCIP_ExprGraphNode::boundstatus, SCIP_ExprGraphNode::depth, SCIP_ExprGraphNode::enabled, FALSE, SCIP_Interval::inf, isLbBetter(), isUbBetter(), NULL, SCIP_ExprGraphNode::pos, SCIP_EXPRBOUNDSTATUS_CHILDRELAXED, SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENT, SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENTFORCE, SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENTRECENT, SCIPdebugMessage, SCIPdebugPrintf, SCIPintervalIntersect(), SCIPintervalIsEmpty(), SCIP_Interval::sup, and TRUE.

Referenced by exprgraphNodePropagateBounds(), propagateBoundsCons(), propagateConstraintSides(), and reformNode2Var().

SCIP_RETCODE SCIPexprgraphUpdateNodeBoundsCurvature	(	SCIP_EXPRGRAPHNODE *	node,
		SCIP_Real	infinity,
		SCIP_Real	minstrength,
		SCIP_Bool	clearreverseprop
	)

ensures that bounds and curvature information in a node is uptodate

Assumes that bounds and curvature in children are uptodate.

Parameters

node	expression graph node
infinity	value for infinity in interval arithmetics
minstrength	minimal required relative bound strengthening to trigger a bound recalculation in parent nodes
clearreverseprop	whether to reset bound tightenings from reverse propagation

Definition at line 14513 of file expr.c.

Referenced by reformEnsureChildrenMinCurvature(), reformMonomial(), reformulate(), and SCIPexprgraphCheckCurvature().

int SCIPexprgraphGetDepth ( SCIP_EXPRGRAPH * exprgraph )

get current maximal depth of expression graph

Parameters

exprgraph expression graph

Definition at line 14663 of file expr.c.

References SCIP_ExprGraph::depth, and NULL.

Referenced by reformulate().

int* SCIPexprgraphGetNNodes ( SCIP_EXPRGRAPH * exprgraph )

gets array with number of nodes at each depth of expression graph

Parameters

exprgraph expression graph

Definition at line 14673 of file expr.c.

References SCIP_ExprGraph::nnodes, and NULL.

Referenced by reformulate().

SCIP_EXPRGRAPHNODE*** SCIPexprgraphGetNodes ( SCIP_EXPRGRAPH * exprgraph )

gets nodes of expression graph, one array per depth

Parameters

exprgraph expression graph

Definition at line 14683 of file expr.c.

References SCIP_ExprGraph::nodes, and NULL.

Referenced by reformulate().

int SCIPexprgraphGetNVars ( SCIP_EXPRGRAPH * exprgraph )

gets number of variables in expression graph

Parameters

exprgraph pointer to expression graph that should be freed

Definition at line 14693 of file expr.c.

References NULL, and SCIP_ExprGraph::nvars.

Referenced by computeViolations(), presolveUpgrade(), propagateBounds(), propagateConstraintSides(), reformulate(), removeFixedNonlinearVariables(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSGETNVARS(), and SCIP_DECL_CONSGETVARS().

void** SCIPexprgraphGetVars ( SCIP_EXPRGRAPH * exprgraph )

gets array of variables in expression graph

Parameters

exprgraph pointer to expression graph that should be freed

Definition at line 14703 of file expr.c.

References NULL, and SCIP_ExprGraph::vars.

Referenced by computeViolations(), presolveUpgrade(), propagateBounds(), propagateConstraintSides(), reformulate(), removeFixedNonlinearVariables(), SCIP_DECL_CONSCHECK(), and SCIP_DECL_CONSGETVARS().

SCIP_EXPRGRAPHNODE** SCIPexprgraphGetVarNodes ( SCIP_EXPRGRAPH * exprgraph )

gets array of expression graph nodes corresponding to variables

Parameters

exprgraph pointer to expression graph that should be freed

Definition at line 14713 of file expr.c.

References NULL, and SCIP_ExprGraph::varnodes.

Referenced by propagateBounds(), and propagateConstraintSides().

void SCIPexprgraphSetVarNodeValue	(	SCIP_EXPRGRAPHNODE *	varnode,
		SCIP_Real	value
	)

sets value for a single variable given as expression graph node

Parameters

varnode	expression graph node corresponding to variable
value	new value for variable

Definition at line 14723 of file expr.c.

References NULL, SCIP_ExprGraphNode::op, SCIP_EXPR_VARIDX, and SCIP_ExprGraphNode::value.

Referenced by reformMonomial(), reformNode2Var(), reformulate(), and SCIP_DECL_EXPRGRAPHNODEREFORM().

void SCIPexprgraphSetVarsBounds	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_INTERVAL *	varbounds
	)

sets bounds for variables

Parameters

exprgraph	expression graph
varbounds	new bounds for variables

Definition at line 14735 of file expr.c.

References BMScopyMemoryArray, NULL, SCIP_ExprGraph::nvars, and SCIP_ExprGraph::varbounds.

void SCIPexprgraphSetVarBounds	(	SCIP_EXPRGRAPH *	exprgraph,
		void *	var,
		SCIP_INTERVAL	varbounds
	)

sets bounds for a single variable

Parameters

exprgraph	expression graph
var	variable
varbounds	new bounds of variable

Definition at line 14747 of file expr.c.

References NULL, SCIPhashmapExists(), SCIPhashmapGetImage(), SCIP_ExprGraph::varbounds, SCIP_ExprGraph::varidxs, and SCIP_ExprGraph::vars.

void SCIPexprgraphSetVarNodeBounds	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	varnode,
		SCIP_INTERVAL	varbounds
	)

sets bounds for a single variable given as expression graph node

Parameters

exprgraph	expression graph
varnode	expression graph node corresponding to variable
varbounds	new bounds of variable

Definition at line 14767 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraph::varbounds, and SCIP_ExprGraph::varnodes.

Referenced by SCIP_DECL_EXPRGRAPHVARADDED().

void SCIPexprgraphSetVarNodeLb	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	varnode,
		SCIP_Real	lb
	)

sets lower bound for a single variable given as expression graph node

Parameters

exprgraph	expression graph
varnode	expression graph node corresponding to variable
lb	new lower bound for variable

Definition at line 14787 of file expr.c.

References SCIP_ExprGraphNode::data, SCIP_Interval::inf, NULL, SCIP_ExprGraph::varbounds, and SCIP_ExprGraph::varnodes.

Referenced by SCIP_DECL_EVENTEXEC().

void SCIPexprgraphSetVarNodeUb	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	varnode,
		SCIP_Real	ub
	)

sets upper bound for a single variable given as expression graph node

Parameters

exprgraph	expression graph
varnode	expression graph node corresponding to variable
ub	new upper bound for variable

Definition at line 14807 of file expr.c.

References SCIP_ExprGraphNode::data, NULL, SCIP_Interval::sup, SCIP_ExprGraph::varbounds, and SCIP_ExprGraph::varnodes.

Referenced by SCIP_DECL_EVENTEXEC().

SCIP_INTERVAL* SCIPexprgraphGetVarsBounds ( SCIP_EXPRGRAPH * exprgraph )

gets bounds that are stored for all variables

Parameters

exprgraph expression graph

Definition at line 14827 of file expr.c.

References SCIP_ExprGraph::varbounds.

SCIP_RETCODE SCIPexprgraphCreate	(	BMS_BLKMEM *	blkmem,
		SCIP_EXPRGRAPH **	exprgraph,
		int	varssizeinit,
		int	depthinit,
		SCIP_DECL_EXPRGRAPHVARADDED((*exprgraphvaradded))	,
		SCIP_DECL_EXPRGRAPHVARREMOVE((*exprgraphvarremove))	,
		SCIP_DECL_EXPRGRAPHVARCHGIDX((*exprgraphvarchgidx))	,
		void *	userdata
	)

creates an empty expression graph

Parameters

blkmem	block memory
exprgraph	buffer to store pointer to expression graph
varssizeinit	minimal initial size for variables array, or -1 to choose automatically
depthinit	minimal initial depth of expression graph, or -1 to choose automatically
userdata	user data to pass to callback functions

Definition at line 14835 of file expr.c.

References BMSallocBlockMemory, BMSclearMemory, ensureBlockMemoryArraySize3, exprgraphEnsureDepth(), MAX, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPcalcHashtableSize(), SCIPhashmapCreate(), and TRUE.

Referenced by SCIPincludeConshdlrBivariate(), and SCIPincludeConshdlrNonlinear().

SCIP_RETCODE SCIPexprgraphFree ( SCIP_EXPRGRAPH ** exprgraph )

frees an expression graph

Parameters

exprgraph pointer to expression graph that should be freed

Definition at line 14874 of file expr.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, BMSfreeBlockMemoryArrayNull, NULL, SCIP_OKAY, and SCIPhashmapFree().

Referenced by SCIP_DECL_CONSFREE().

SCIP_RETCODE SCIPexprgraphAddNode	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	node,
		int	mindepth,
		int	nchildren,
		SCIP_EXPRGRAPHNODE **	children
	)

adds an expression graph node to an expression graph

Expression graph assumes ownership of node. Children are notified about new parent. Depth will be chosen to be the maximum of mindepth and the depth of all children plus one.

Parameters

exprgraph	expression graph
node	expression graph node to add
mindepth	minimal depth in expression graph where to add node, e.g., 0 or smaller to choose automatically
nchildren	number of children
children	children nodes, or NULL if no children

Definition at line 14923 of file expr.c.

Referenced by exprgraphAddExpr(), reformMonomial(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIPexprgraphAddConst(), SCIPexprgraphAddExprtreeSum(), SCIPexprgraphAddVars(), and SCIPexprgraphNodeSplitOffLinear().

SCIP_RETCODE SCIPexprgraphAddVars	(	SCIP_EXPRGRAPH *	exprgraph,
		int	nvars,
		void **	vars,
		SCIP_EXPRGRAPHNODE **	varnodes
	)

adds variables to an expression graph, if not existing yet

Also already existing nodes are enabled.

Parameters

exprgraph	expression graph
nvars	number of variables to add
vars	variables to add
varnodes	array to store nodes corresponding to variables, or NULL if not of interest

Definition at line 15007 of file expr.c.

References SCIP_ExprGraph::blkmem, SCIP_ExprGraphNode::data, SCIP_ExprGraphNode::depth, SCIP_ExprGraph::depth, SCIP_ExprGraphNode::enabled, ensureBlockMemoryArraySize, ensureBlockMemoryArraySize3, exprgraphCreateNode(), SCIP_ExprGraph::nnodes, SCIP_ExprGraph::nodes, SCIP_ExprGraph::nodessize, NULL, SCIP_ExprGraph::nvars, SCIP_ExprGraphNode::pos, SCIP_CALL, SCIP_EXPR_VARIDX, SCIP_OKAY, SCIP_REAL_MAX, SCIPdebugMessage, SCIPexprgraphAddNode(), SCIPexprgraphFindVarNode(), SCIPhashmapExists(), SCIPhashmapInsert(), SCIPintervalSetEntire(), TRUE, SCIP_ExprGraph::userdata, SCIP_ExprGraph::varbounds, SCIP_ExprGraph::varidxs, SCIP_ExprGraph::varnodes, SCIP_ExprGraph::vars, and SCIP_ExprGraph::varssize.

Referenced by exprgraphAddExpr(), reformMonomial(), reformNode2Var(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIPexprgraphReplaceVarByLinearSum().

SCIP_RETCODE SCIPexprgraphAddConst	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_Real	constant,
		SCIP_EXPRGRAPHNODE **	constnode
	)

adds a constant to an expression graph, if not existing yet

Also already existing nodes are enabled.

Parameters

exprgraph	expression graph
constant	constant to add
constnode	buffer to store pointer to expression graph node corresponding to constant

Definition at line 15080 of file expr.c.

References SCIP_ExprGraph::blkmem, SCIP_ExprGraph::constnodes, SCIP_ExprGraph::constssize, SCIP_ExprGraph::constssorted, SCIP_ExprGraphNode::depth, ensureBlockMemoryArraySize, exprgraphCreateNode(), SCIP_ExprGraph::nconsts, SCIP_ExprGraph::nnodes, NULL, SCIP_CALL, SCIP_EXPR_CONST, SCIP_OKAY, SCIPdebugMessage, SCIPexprgraphAddNode(), SCIPexprgraphFindConstNode(), and TRUE.

Referenced by exprgraphAddExpr().

SCIP_RETCODE SCIPexprgraphAddExprtreeSum	(	SCIP_EXPRGRAPH *	exprgraph,
		int	nexprtrees,
		SCIP_EXPRTREE **	exprtrees,
		SCIP_Real *	coefs,
		SCIP_EXPRGRAPHNODE **	rootnode,
		SCIP_Bool *	rootnodeisnew
	)

adds sum of expression trees into expression graph

node will also be captured.

Note: Parameters will be converted into constants

Parameters

exprgraph	expression graph
nexprtrees	number of expression trees to add
exprtrees	expression trees that should be added
coefs	coefficients of expression trees, or NULL if all 1.0
rootnode	buffer to store expression graph node corresponding to root of expression tree
rootnodeisnew	buffer to indicate whether the node in *rootnode has been newly created for this expression tree (otherwise, expression tree was already in graph)

Definition at line 15127 of file expr.c.

References SCIP_ExprGraph::blkmem, BMSallocBlockMemoryArray, BMScopyMemoryArray, BMSfreeBlockMemoryArray, SCIP_ExprGraphNode::depth, exprgraphAddExpr(), exprgraphCreateNode(), exprgraphFindParentByOperator(), FALSE, NULL, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_EXPR_LINEAR, SCIP_EXPR_MINUS, SCIP_EXPR_PLUS, SCIP_EXPR_SUM, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPexprgraphAddNode(), SCIPexprgraphCaptureNode(), and TRUE.

Referenced by SCIP_DECL_CONSACTIVE().

SCIP_RETCODE SCIPexprgraphReplaceVarByLinearSum	(	SCIP_EXPRGRAPH *	exprgraph,
		void *	var,
		int	ncoefs,
		SCIP_Real *	coefs,
		void **	vars,
		SCIP_Real	constant
	)

replaces variable in expression graph by a linear sum of variables

Variables will be added if not in the graph yet.

Parameters

exprgraph	expression graph
var	variable to replace
ncoefs	number of coefficients in linear term
coefs	coefficients in linear term, or NULL if ncoefs == 0
vars	variables in linear term
constant	constant offset

Definition at line 15267 of file expr.c.

References SCIP_ExprGraph::blkmem, BMSallocBlockMemoryArray, BMScopyMemoryArray, SCIP_ExprGraphNode::bounds, SCIP_ExprGraphNode::boundstatus, SCIP_ExprGraphNode::children, SCIP_ExprGraph::constnodes, SCIP_ExprGraph::constssize, SCIP_ExprGraph::constssorted, SCIP_ExprGraphNode::data, ensureBlockMemoryArraySize, ensureBlockMemoryArraySize3, exprgraphMoveNode(), exprgraphNodeAddParent(), exprgraphRemoveVar(), FALSE, SCIP_ExprGraphNode::nchildren, SCIP_ExprGraph::nconsts, SCIP_ExprGraphNode::nparents, NULL, SCIP_ExprGraphNode::nuses, SCIP_ExprGraph::nvars, SCIP_ExprGraphNode::op, SCIP_ExprGraphNode::parents, SCIP_ALLOC, SCIP_CALL, SCIP_EXPR_CONST, SCIP_EXPR_LINEAR, SCIP_EXPR_SUM, SCIP_EXPRBOUNDSTATUS_CHILDRELAXED, SCIP_EXPRBOUNDSTATUS_VALID, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIP_REAL_MAX, SCIPdebugMessage, SCIPexprgraphAddVars(), SCIPexprgraphFindConstNode(), SCIPexprgraphFindVarNode(), SCIPexprgraphMoveNodeParents(), SCIPhashmapExists(), SCIPhashmapGetImage(), SCIPhashmapInsert(), SCIPintervalSet(), SCIPintervalSetEntire(), SCIP_ExprGraphNode::simplified, SCIP_ExprGraph::userdata, SCIP_ExprGraphNode::value, SCIP_ExprGraph::varbounds, SCIP_ExprGraph::varidxs, SCIP_ExprGraph::varnodes, SCIP_ExprGraph::vars, and SCIP_ExprGraph::varssize.

Referenced by removeFixedNonlinearVariables().

SCIP_Bool SCIPexprgraphFindVarNode	(	SCIP_EXPRGRAPH *	exprgraph,
		void *	var,
		SCIP_EXPRGRAPHNODE **	varnode
	)

finds expression graph node corresponding to a variable

Parameters

exprgraph	expression graph
var	variable to search for
varnode	buffer to store node corresponding to variable, if found, or NULL if not found

Definition at line 15439 of file expr.c.

References FALSE, NULL, SCIP_EXPR_VARIDX, SCIPhashmapExists(), SCIPhashmapGetImage(), TRUE, SCIP_ExprGraph::varidxs, and SCIP_ExprGraph::varnodes.

Referenced by SCIPexprgraphAddVars(), and SCIPexprgraphReplaceVarByLinearSum().

SCIP_Bool SCIPexprgraphFindConstNode	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_Real	constant,
		SCIP_EXPRGRAPHNODE **	constnode
	)

finds expression graph node corresponding to a constant

Parameters

exprgraph	expression graph
constant	constant to search for
constnode	buffer to store node corresponding to constant, if found, or NULL if not found

Definition at line 15468 of file expr.c.

References SCIP_ExprGraph::constnodes, SCIP_ExprGraph::constssorted, SCIP_ExprGraphNode::data, exprgraphSortConstNodes(), FALSE, SCIP_ExprGraph::nconsts, NULL, SCIP_EXPR_CONST, and TRUE.

Referenced by SCIPexprgraphAddConst(), SCIPexprgraphReplaceVarByLinearSum(), and SCIPexprgraphSimplify().

SCIP_RETCODE SCIPexprgraphPrintDot	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_MESSAGEHDLR *	messagehdlr,
		FILE *	file,
		const char **	varnames
	)

prints an expression graph in dot format

Parameters

exprgraph	expression graph
messagehdlr	message handler
file	file to print to, or NULL for stdout
varnames	variable names, or NULL for generic names

Definition at line 15516 of file expr.c.

References SCIP_ExprGraph::depth, exprgraphPrintNodeDot(), SCIP_ExprGraph::nnodes, SCIP_ExprGraph::nodes, SCIP_ExprGraphNode::nparents, NULL, SCIP_OKAY, and SCIPmessageFPrintInfo().

Referenced by propagateBounds(), propagateConstraintSides(), SCIP_DECL_CONSINIT(), and SCIPexprgraphSimplify().

SCIP_RETCODE SCIPexprgraphEval	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_Real *	varvals
	)

evaluates nodes of expression graph for given values of variables

Parameters

exprgraph	expression graph
varvals	values for variables

Definition at line 15565 of file expr.c.

References SCIP_ExprGraph::depth, exprgraphNodeEval(), SCIP_ExprGraph::nnodes, SCIP_ExprGraph::nodes, NULL, SCIP_ExprGraph::nvars, SCIP_CALL, and SCIP_OKAY.

Referenced by computeViolations(), presolveUpgrade(), reformulate(), SCIP_DECL_CONSCHECK(), and SCIPexprgraphSimplify().

SCIP_RETCODE SCIPexprgraphPropagateVarBounds	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_Real	infinity,
		SCIP_Bool	clearreverseprop,
		SCIP_Bool *	domainerror
	)

propagates bound changes in variables forward through the expression graph

Parameters

exprgraph	expression graph
infinity	value for infinity in interval arithmetics
clearreverseprop	whether to reset bound tightenings from reverse propagation
domainerror	buffer to store whether a node with empty bounds has been found, propagation is interrupted in this case

Definition at line 15586 of file expr.c.

References SCIP_ExprGraphNode::bounds, SCIP_ExprGraphNode::depth, SCIP_ExprGraph::depth, exprgraphNodeUpdateBounds(), exprgraphUpdateVarNodeBounds(), FALSE, SCIP_ExprGraph::needvarboundprop, SCIP_ExprGraph::nnodes, SCIP_ExprGraph::nodes, NULL, SCIP_ExprGraphNode::pos, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPintervalIsEmpty(), and TRUE.

Referenced by propagateBounds(), reformulate(), and SCIP_DECL_CONSPRESOL().

void SCIPexprgraphPropagateNodeBounds	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_Real	infinity,
		SCIP_Real	minstrength,
		SCIP_Bool *	cutoff
	)

propagates bound changes in nodes backward through the graph

New bounds are not stored in varbounds, but only in nodes corresponding to variables. NOTE: it is assumed that SCIPexprgraphPropagateVarBounds was called before if variable bounds were relaxed.

Parameters

exprgraph	expression graph
infinity	value for infinity in interval arithmetics
minstrength	minimal required relative bound strengthening in a node to trigger a propagation into children nodes
cutoff	buffer to store whether a node's bounds were propagated to an empty interval

Definition at line 15640 of file expr.c.

References SCIP_ExprGraph::depth, exprgraphNodePropagateBounds(), FALSE, SCIP_ExprGraph::nnodes, SCIP_ExprGraph::nodes, and NULL.

Referenced by propagateBounds(), and propagateConstraintSides().

SCIP_RETCODE SCIPexprgraphCheckCurvature	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_Real	infinity,
		SCIP_Bool	clearreverseprop
	)

updates curvature information in expression graph nodes w.r.t. currently stored variable bounds

Implies update of bounds in expression graph.

Parameters

exprgraph	expression graph
infinity	value for infinity in interval arithmetics
clearreverseprop	whether to reset bound tightenings from reverse propagation

Definition at line 15672 of file expr.c.

References SCIP_ExprGraphNode::bounds, SCIP_ExprGraphNode::curv, SCIP_ExprGraph::depth, exprgraphUpdateVarNodeBounds(), SCIP_ExprGraph::nnodes, SCIP_ExprGraph::nodes, NULL, SCIP_Bool, SCIP_CALL, SCIP_EXPRCURV_LINEAR, SCIP_OKAY, SCIPerrorMessage, SCIPexprgraphUpdateNodeBoundsCurvature(), and SCIPintervalIsEmpty().

SCIP_RETCODE SCIPexprgraphSimplify	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_MESSAGEHDLR *	messagehdlr,
		SCIP_Real	eps,
		int	maxexpansionexponent,
		SCIP_Bool *	havechange,
		SCIP_Bool *	domainerror
	)

aims at simplifying an expression graph

A domain error can occur when variables were fixed to values for which a parent expression is not defined (e.g., 0^(-1) or log(-1)).

Parameters

exprgraph	expression graph
messagehdlr	message handler
eps	threshold, under which positive values are treat as 0
maxexpansionexponent	maximal exponent for which we still expand non-monomial polynomials
havechange	buffer to indicate whether the graph has been modified
domainerror	buffer to indicate whether a domain error has been encountered, i.e., some expressions turned into NaN

Definition at line 15715 of file expr.c.

Referenced by SCIP_DECL_CONSEXITPRE(), and SCIP_DECL_CONSPRESOL().

SCIP_RETCODE SCIPexprgraphGetTree	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	rootnode,
		SCIP_EXPRTREE **	exprtree
	)

creates an expression tree from a given node in an expression graph

Parameters

exprgraph	expression graph
rootnode	expression graph node that should represent root of expression tree
exprtree	buffer to store pointer to created expression tree

Definition at line 15974 of file expr.c.

References SCIP_ExprGraph::blkmem, BMSallocBlockMemoryArray, BMSfreeBlockMemoryArray, SCIP_ExprGraphNode::depth, exprgraphNodeCreateExpr(), NULL, SCIP_ExprGraph::nvars, SCIP_ExprGraphNode::pos, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPexprtreeCreate(), and SCIP_ExprGraph::vars.

Referenced by createNlRow(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSPRINT(), SCIPexprgraphGetSeparableTrees(), SCIPexprgraphGetSumTrees(), and SCIPwriteGms().

SCIP_RETCODE SCIPexprgraphGetSeparableTrees	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	node,
		int	exprtreessize,
		int *	nexprtrees,
		SCIP_EXPRTREE **	exprtrees,
		SCIP_Real *	exprtreecoefs
	)

creates a sum of expression trees with pairwise disjoint variables from a given node in an expression graph

Giving SCIPexprgraphGetNodeNChildren() for exprtreesize is always sufficient.

Parameters

exprgraph	expression graph
node	expression graph node which represents expression to get
exprtreessize	length of exprtrees and exprtreecoefs arrays, need to be at least one
nexprtrees	buffer to store number of expression trees
exprtrees	array where to store expression trees
exprtreecoefs	array where to store coefficients of expression trees

Definition at line 16027 of file expr.c.

References SCIP_ExprGraph::blkmem, BMSallocBlockMemoryArray, BMSfreeBlockMemoryArray, BMSfreeBlockMemoryArrayNull, SCIP_ExprData_Monomial::childidxs, SCIP_ExprGraphNode::children, SCIP_ExprData_Monomial::coef, SCIP_QuadElement::coef, SCIP_ExprData_Quadratic::constant, SCIP_ExprData_Polynomial::constant, SCIP_ExprGraphNode::data, SCIP_ExprGraphNode::depth, SCIP_ExprData_Monomial::exponents, exprgraphNodeCheckSeparabilityComponent(), exprgraphNodeCreateExpr(), FALSE, SCIP_QuadElement::idx1, SCIP_QuadElement::idx2, SCIP_ExprData_Quadratic::lincoefs, MAX, MIN, SCIP_ExprData_Polynomial::monomials, SCIP_ExprGraphNode::nchildren, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, SCIP_ExprData_Quadratic::nquadelems, NULL, SCIP_ExprGraph::nvars, SCIP_ExprGraphNode::op, SCIP_ExprGraphNode::pos, SCIP_ExprData_Quadratic::quadelems, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_ERROR, SCIP_EXPR_CONST, SCIP_EXPR_LINEAR, SCIP_EXPR_MINUS, SCIP_EXPR_PLUS, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_QUADRATIC, SCIP_EXPR_SUM, SCIP_OKAY, SCIP_Real, SCIPerrorMessage, SCIPexprCreate(), SCIPexprCreateLinear(), SCIPexprCreateMonomial(), SCIPexprCreatePolynomial(), SCIPexprCreateQuadratic(), SCIPexprgraphGetTree(), SCIPexprtreeCreate(), TRUE, SCIP_ExprTree::vars, and SCIP_ExprGraph::vars.

void SCIPexprgraphGetSubtreeVarsUsage	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	node,
		int *	varsusage
	)

returns how often expression graph variables are used in a subtree of the expression graph

Parameters

exprgraph	expression graph
node	root node of expression graph subtree
varsusage	array where to count usage of variables, length must be at least the number of variables in the graph

Definition at line 16461 of file expr.c.

References BMSclearMemoryArray, exprgraphNodeGetVarsUsage(), NULL, and SCIP_ExprGraph::nvars.

Referenced by SCIP_DECL_CONSGETNVARS(), and SCIP_DECL_CONSGETVARS().

int SCIPexprgraphGetSumTreesNSummands ( SCIP_EXPRGRAPHNODE * node )

gives the number of summands which the expression of an expression graph node consists of

Parameters

node	expression graph node

Definition at line 16477 of file expr.c.

References SCIP_ExprGraphNode::data, SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprGraphNode::nchildren, SCIP_ExprData_Polynomial::nmonomials, SCIP_ExprData_Quadratic::nquadelems, NULL, SCIP_ExprGraphNode::op, SCIP_EXPR_LINEAR, SCIP_EXPR_MINUS, SCIP_EXPR_PLUS, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_QUADRATIC, and SCIP_EXPR_SUM.

Referenced by SCIP_DECL_CONSEXITPRE().

SCIP_RETCODE SCIPexprgraphGetSumTrees	(	SCIP_EXPRGRAPH *	exprgraph,
		SCIP_EXPRGRAPHNODE *	node,
		int	exprtreessize,
		int *	nexprtrees,
		SCIP_EXPRTREE **	exprtrees,
		SCIP_Real *	exprtreecoefs
	)

creates a sum of expression trees, possibly sharing variables, from a given node in an expression graph

Parameters

exprgraph	expression graph
node	expression graph node which represents expression to get
exprtreessize	length of exprtrees and exptreecoefs arrays, should be at least SCIPexprgraphGetSumTreesNSummands()
nexprtrees	buffer to store number of expression trees
exprtrees	array where to store expression trees
exprtreecoefs	array where to store coefficients of expression trees

Definition at line 16513 of file expr.c.

References SCIP_ExprGraph::blkmem, BMSallocBlockMemoryArray, BMSfreeBlockMemoryArray, SCIP_ExprData_Monomial::childidxs, SCIP_ExprGraphNode::children, SCIP_ExprData_Monomial::coef, SCIP_QuadElement::coef, SCIP_ExprData_Quadratic::constant, SCIP_ExprData_Polynomial::constant, SCIP_ExprGraphNode::data, SCIP_ExprGraphNode::depth, EPSISINT, SCIP_ExprData_Monomial::exponents, exprgraphNodeCreateExpr(), FALSE, SCIP_QuadElement::idx1, SCIP_QuadElement::idx2, SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprData_Polynomial::monomials, SCIP_ExprGraphNode::nchildren, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, SCIP_ExprData_Quadratic::nquadelems, NULL, SCIP_ExprGraph::nvars, SCIP_ExprGraphNode::op, SCIP_ExprGraphNode::pos, SCIP_ExprData_Quadratic::quadelems, SCIP_ALLOC, SCIP_CALL, SCIP_ERROR, SCIP_EXPR_CONST, SCIP_EXPR_INTPOWER, SCIP_EXPR_LINEAR, SCIP_EXPR_MINUS, SCIP_EXPR_MUL, SCIP_EXPR_PLUS, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_QUADRATIC, SCIP_EXPR_REALPOWER, SCIP_EXPR_SQUARE, SCIP_EXPR_SUM, SCIP_OKAY, SCIP_Real, SCIPerrorMessage, SCIPexprCreate(), SCIPexprCreateMonomial(), SCIPexprCreatePolynomial(), SCIPexprgraphGetTree(), SCIPexprtreeAddExpr(), SCIPexprtreeCreate(), SCIP_ExprTree::vars, and SCIP_ExprGraph::vars.

Referenced by SCIP_DECL_CONSEXITPRE().

Variable Documentation

const char* curvnames[4]

static

Initial value:

=
   {
      "unknown",
      "convex",
      "concave",
      "linear"
   }

curvature names as strings

Definition at line 177 of file expr.c.

Referenced by SCIPexprcurvGetName().

struct exprOpTableElement exprOpTable[]

static

table containing for each operand the name, the number of children, and some evaluation functions

Definition at line 3190 of file expr.c.

SCIP

Detailed Description

Macros

Functions

Expression curvature methods

Expression operand private methods

Quadratic element methods

Macro Definition Documentation

Function Documentation

Variable Documentation