SCIP
Solving Constraint Integer Programs
pub_expr.h File Reference
Detailed Description
public methods for expressions, expression trees, expression graphs, and related stuff
Definition in file pub_expr.h.
#include "scip/def.h"#include "scip/pub_message.h"#include "scip/intervalarith.h"#include "blockmemshell/memory.h"#include "nlpi/type_expr.h"#include "nlpi/type_exprinterpret.h"Go to the source code of this file.
Function Documentation
◆ SCIPexprcurvAdd()
| SCIP_EXPORT 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 206 of file expr.c.
Referenced by checkCurvature(), and SCIP_DECL_EXPRCURV().
◆ SCIPexprcurvNegate()
| SCIP_EXPORT 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 215 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().
◆ SCIPexprcurvMultiply()
| SCIP_EXPORT 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 241 of file expr.c.
References SCIP_EXPRCURV_LINEAR, and SCIPexprcurvNegate().
Referenced by checkCurvature(), reformulate(), SCIP_DECL_EXPRCURV(), SCIPexprcurvMonomial(), and SCIPexprgraphGetNodePolynomialMonomialCurvature().
◆ SCIPexprcurvPower()
| SCIP_EXPORT 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 254 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().
◆ SCIPexprcurvMonomial()
| SCIP_EXPORT 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
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 362 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().
◆ SCIPexprcurvGetName()
| SCIP_EXPORT const char* SCIPexprcurvGetName | ( | SCIP_EXPRCURV | curv | ) |
gives name as string for a curvature
- Parameters
-
curv curvature
Definition at line 475 of file expr.c.
References curvnames, and SCIP_EXPRCURV_LINEAR.
Referenced by checkCurvature(), reformEnsureChildrenMinCurvature(), reformulate(), and registerBranchingVariables().
◆ SCIPexpropGetName()
| SCIP_EXPORT const char* SCIPexpropGetName | ( | SCIP_EXPROP | op | ) |
gives the name of an operand
gives the name of an operand as string
- Parameters
-
op expression operand
Definition at line 3265 of file expr.c.
References SCIP_EXPR_LAST.
Referenced by exprgraphNodeUpdateBounds(), exprgraphPrintNodeExpression(), getCoeffsAndConstantFromLinearExpr(), printExpr(), printRowNl(), readExpression(), reformulate(), SCIPexprgraphNodeSplitOffLinear(), SCIPexprgraphReleaseNode(), SCIPexprgraphUpdateNodeBoundsCurvature(), and SCIPwritePip().
◆ SCIPexpropGetNChildren()
| SCIP_EXPORT int SCIPexpropGetNChildren | ( | SCIP_EXPROP | op | ) |
gives the number of children of a simple operand
- Returns
- -1 for invalid operands and -2 for complex operands (those where the number of children depends on the expression)
gives the number of children of a simple operand
- Parameters
-
op expression operand
Definition at line 3275 of file expr.c.
References SCIP_EXPR_LAST.
◆ SCIPexprGetOperator()
| SCIP_EXPORT SCIP_EXPROP SCIPexprGetOperator | ( | SCIP_EXPR * | expr | ) |
gives operator of expression
- Parameters
-
expr expression
Definition at line 5695 of file expr.c.
References NULL, and SCIP_Expr::op.
Referenced by addUserEstimator(), analyzeTree(), atomic_userexpr< Type >::atomic_userexpr(), checkCurvature(), 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().
◆ SCIPexprGetNChildren()
| SCIP_EXPORT int SCIPexprGetNChildren | ( | SCIP_EXPR * | expr | ) |
gives number of children of an expression
- Parameters
-
expr expression
Definition at line 5705 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(), getExprSize(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), readObjective(), SCIPexprAdd(), SCIPexprMulConstant(), and SCIPwritePip().
◆ SCIPexprGetChildren()
| SCIP_EXPORT SCIP_EXPR** SCIPexprGetChildren | ( | SCIP_EXPR * | expr | ) |
gives pointer to array with children of an expression
- Parameters
-
expr expression
Definition at line 5715 of file expr.c.
References SCIP_Expr::children, and NULL.
Referenced by addUserEstimator(), analyzeTree(), eval(), exprIsNonSmooth(), getCoeffsAndConstantFromLinearExpr(), getExprSize(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), readObjective(), SCIPexprAdd(), and SCIPwritePip().
◆ SCIPexprGetOpIndex()
| SCIP_EXPORT int SCIPexprGetOpIndex | ( | SCIP_EXPR * | expr | ) |
gives index belonging to a SCIP_EXPR_VARIDX or SCIP_EXPR_PARAM operand
- Parameters
-
expr expression
Definition at line 5725 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().
◆ SCIPexprGetOpReal()
| SCIP_EXPORT SCIP_Real SCIPexprGetOpReal | ( | SCIP_EXPR * | expr | ) |
gives real belonging to a SCIP_EXPR_CONST operand
- Parameters
-
expr expression
Definition at line 5736 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().
◆ SCIPexprGetOpData()
| SCIP_EXPORT void* SCIPexprGetOpData | ( | SCIP_EXPR * | expr | ) |
gives void* belonging to a complex operand
- Parameters
-
expr expression
Definition at line 5747 of file expr.c.
References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_SUM.
◆ SCIPexprGetRealPowerExponent()
| SCIP_EXPORT SCIP_Real SCIPexprGetRealPowerExponent | ( | SCIP_EXPR * | expr | ) |
gives exponent belonging to a SCIP_EXPR_REALPOWER expression
- Parameters
-
expr expression
Definition at line 5758 of file expr.c.
References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_REALPOWER.
Referenced by eval(), printExpr(), printRowNl(), and SCIPwritePip().
◆ SCIPexprGetIntPowerExponent()
| SCIP_EXPORT int SCIPexprGetIntPowerExponent | ( | SCIP_EXPR * | expr | ) |
gives exponent belonging to a SCIP_EXPR_INTPOWER expression
- Parameters
-
expr expression
Definition at line 5769 of file expr.c.
References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_INTPOWER.
Referenced by eval(), printExpr(), printRowNl(), and SCIPwritePip().
◆ SCIPexprGetSignPowerExponent()
| SCIP_EXPORT SCIP_Real SCIPexprGetSignPowerExponent | ( | SCIP_EXPR * | expr | ) |
gives exponent belonging to a SCIP_EXPR_SIGNPOWER expression
- Parameters
-
expr expression
Definition at line 5780 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().
◆ SCIPexprGetLinearCoefs()
| SCIP_EXPORT SCIP_Real* SCIPexprGetLinearCoefs | ( | SCIP_EXPR * | expr | ) |
gives linear coefficients belonging to a SCIP_EXPR_LINEAR expression
- Parameters
-
expr expression
Definition at line 5791 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().
◆ SCIPexprGetLinearConstant()
| SCIP_EXPORT SCIP_Real SCIPexprGetLinearConstant | ( | SCIP_EXPR * | expr | ) |
gives constant belonging to a SCIP_EXPR_LINEAR expression
- Parameters
-
expr expression
Definition at line 5804 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().
◆ SCIPexprGetQuadElements()
| SCIP_EXPORT SCIP_QUADELEM* SCIPexprGetQuadElements | ( | SCIP_EXPR * | expr | ) |
gives quadratic elements belonging to a SCIP_EXPR_QUADRATIC expression
- Parameters
-
expr quadratic expression
Definition at line 5817 of file expr.c.
References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_QUADRATIC.
Referenced by eval(), printExpr(), and printRowNl().
◆ SCIPexprGetQuadConstant()
| SCIP_EXPORT SCIP_Real SCIPexprGetQuadConstant | ( | SCIP_EXPR * | expr | ) |
gives constant belonging to a SCIP_EXPR_QUADRATIC expression
- Parameters
-
expr quadratic expression
Definition at line 5829 of file expr.c.
References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_QUADRATIC.
Referenced by eval(), printExpr(), and printRowNl().
◆ SCIPexprGetQuadLinearCoefs()
| SCIP_EXPORT 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 5842 of file expr.c.
References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_QUADRATIC.
Referenced by eval(), printExpr(), and printRowNl().
◆ SCIPexprGetNQuadElements()
| SCIP_EXPORT int SCIPexprGetNQuadElements | ( | SCIP_EXPR * | expr | ) |
gives number of quadratic elements belonging to a SCIP_EXPR_QUADRATIC expression
- Parameters
-
expr quadratic expression
Definition at line 5854 of file expr.c.
References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_QUADRATIC.
Referenced by eval(), printExpr(), and printRowNl().
◆ SCIPexprGetMonomials()
| SCIP_EXPORT SCIP_EXPRDATA_MONOMIAL** SCIPexprGetMonomials | ( | SCIP_EXPR * | expr | ) |
gives the monomials belonging to a SCIP_EXPR_POLYNOMIAL expression
- Parameters
-
expr expression
Definition at line 5866 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().
◆ SCIPexprGetNMonomials()
| SCIP_EXPORT int SCIPexprGetNMonomials | ( | SCIP_EXPR * | expr | ) |
gives the number of monomials belonging to a SCIP_EXPR_POLYNOMIAL expression
- Parameters
-
expr expression
Definition at line 5878 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().
◆ SCIPexprGetPolynomialConstant()
| SCIP_EXPORT SCIP_Real SCIPexprGetPolynomialConstant | ( | SCIP_EXPR * | expr | ) |
gives the constant belonging to a SCIP_EXPR_POLYNOMIAL expression
- Parameters
-
expr expression
Definition at line 5890 of file expr.c.
References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_POLYNOMIAL.
Referenced by eval(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), and readObjective().
◆ SCIPexprGetMonomialCoef()
| SCIP_EXPORT SCIP_Real SCIPexprGetMonomialCoef | ( | SCIP_EXPRDATA_MONOMIAL * | monomial | ) |
gets coefficient of a monomial
- Parameters
-
monomial monomial
Definition at line 5902 of file expr.c.
References SCIP_ExprData_Monomial::coef, and NULL.
Referenced by eval(), findAggregation(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), readObjective(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().
◆ SCIPexprGetMonomialNFactors()
| SCIP_EXPORT int SCIPexprGetMonomialNFactors | ( | SCIP_EXPRDATA_MONOMIAL * | monomial | ) |
gets number of factors of a monomial
- Parameters
-
monomial monomial
Definition at line 5912 of file expr.c.
References SCIP_ExprData_Monomial::nfactors, and NULL.
Referenced by eval(), findAggregation(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), readObjective(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), and SCIPwritePip().
◆ SCIPexprGetMonomialChildIndices()
| SCIP_EXPORT int* SCIPexprGetMonomialChildIndices | ( | SCIP_EXPRDATA_MONOMIAL * | monomial | ) |
gets indices of children corresponding to factors of a monomial
- Parameters
-
monomial monomial
Definition at line 5922 of file expr.c.
References SCIP_ExprData_Monomial::childidxs, and NULL.
Referenced by eval(), findAggregation(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), readObjective(), reformulate(), and SCIP_DECL_EXPRGRAPHNODEREFORM().
◆ SCIPexprGetMonomialExponents()
| SCIP_EXPORT SCIP_Real* SCIPexprGetMonomialExponents | ( | SCIP_EXPRDATA_MONOMIAL * | monomial | ) |
gets exponents in factors of a monomial
- Parameters
-
monomial monomial
Definition at line 5932 of file expr.c.
References SCIP_ExprData_Monomial::exponents, and NULL.
Referenced by eval(), findAggregation(), getLinearAndQuadraticCoefs(), printExpr(), printRowNl(), readObjective(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), and SCIPwritePip().
◆ SCIPexprGetUserData()
| SCIP_EXPORT SCIP_USEREXPRDATA* SCIPexprGetUserData | ( | SCIP_EXPR * | expr | ) |
gets user data of a user expression
Definition at line 5942 of file expr.c.
References SCIP_Expr::data, and NULL.
◆ SCIPexprHasUserEstimator()
| SCIP_EXPORT SCIP_Bool SCIPexprHasUserEstimator | ( | SCIP_EXPR * | expr | ) |
indicates whether a user expression has the estimator callback defined
Definition at line 5953 of file expr.c.
References SCIP_Expr::data, and NULL.
Referenced by addUserEstimator().
◆ SCIPexprGetUserEvalCapability()
| SCIP_EXPORT SCIP_EXPRINTCAPABILITY SCIPexprGetUserEvalCapability | ( | SCIP_EXPR * | expr | ) |
gives the evaluation capability of a user expression
Definition at line 5964 of file expr.c.
References SCIP_Expr::data, and NULL.
Referenced by analyzeTree().
◆ SCIPexprCreate()
| SCIP_EXPORT 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 5975 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(), SCIPwritePip(), and setupProblem().
◆ SCIPexprCopyDeep()
| SCIP_EXPORT 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 6143 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().
◆ SCIPexprFreeDeep()
| SCIP_EXPORT 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 6185 of file expr.c.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, NULL, and SCIPexprFreeDeep().
Referenced by exprParse(), 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().
◆ SCIPexprFreeShallow()
| SCIP_EXPORT 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 6223 of file expr.c.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArrayNull, and NULL.
Referenced by exprParse(), and SCIPexprAdd().
◆ SCIPexprAdd()
| SCIP_EXPORT 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
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 6248 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().
◆ SCIPexprMulConstant()
| SCIP_EXPORT 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 of SCIP_EXPR_LINEAR over SCIP_EXPR_MUP or SCIP_EXPR_PROD
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 6406 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().
◆ SCIPexprCreateLinear()
| SCIP_EXPORT 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 6504 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(), SCIPexprtreeRemoveFixedVars(), and setupProblem().
◆ SCIPexprAddToLinear()
| SCIP_EXPORT 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 6541 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().
◆ SCIPexprCreateQuadratic()
| 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 6586 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().
◆ SCIPexprSortQuadElems()
| SCIP_EXPORT void SCIPexprSortQuadElems | ( | SCIP_EXPR * | expr | ) |
ensures that quadratic elements of a quadratic expression are sorted
- Parameters
-
expr quadratic expression
Definition at line 6622 of file expr.c.
References SCIP_Expr::data, NULL, SCIP_Expr::op, quadraticdataSort(), and SCIP_EXPR_QUADRATIC.
Referenced by eval(), and SCIPexprAreEqual().
◆ SCIPexprCreatePolynomial()
| SCIP_EXPORT 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 6634 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(), SCIPexprgraphGetSumTrees(), and setupProblem().
◆ SCIPexprAddMonomials()
| SCIP_EXPORT 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 6669 of file expr.c.
References SCIP_Expr::data, NULL, SCIP_Expr::op, polynomialdataAddMonomials(), SCIP_CALL, SCIP_EXPR_POLYNOMIAL, and SCIP_OKAY.
◆ SCIPexprChgPolynomialConstant()
| SCIP_EXPORT 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 6691 of file expr.c.
References SCIP_Expr::data, NULL, SCIP_Expr::op, and SCIP_EXPR_POLYNOMIAL.
◆ SCIPexprMultiplyPolynomialByConstant()
| SCIP_EXPORT 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 6704 of file expr.c.
References SCIP_Expr::data, NULL, SCIP_Expr::op, polynomialdataMultiplyByConstant(), and SCIP_EXPR_POLYNOMIAL.
◆ SCIPexprMultiplyPolynomialByMonomial()
| SCIP_EXPORT 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 6718 of file expr.c.
References SCIP_Expr::data, NULL, SCIP_Expr::op, polynomialdataMultiplyByMonomial(), SCIP_CALL, SCIP_EXPR_POLYNOMIAL, and SCIP_OKAY.
◆ SCIPexprMultiplyPolynomialByPolynomial()
| SCIP_EXPORT 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
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 6741 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().
◆ SCIPexprPolynomialPower()
| SCIP_EXPORT SCIP_RETCODE SCIPexprPolynomialPower | ( | BMS_BLKMEM * | blkmem, |
| SCIP_EXPR * | expr, | ||
| int | exponent | ||
| ) |
takes a power of the polynomial exponent need to be an integer polynomial need to be a monomial, if exponent is negative
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 6787 of file expr.c.
References SCIP_Expr::data, NULL, SCIP_Expr::op, polynomialdataPower(), SCIP_CALL, SCIP_EXPR_POLYNOMIAL, and SCIP_OKAY.
◆ SCIPexprMergeMonomials()
| SCIP_EXPORT 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
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 6807 of file expr.c.
References SCIP_Expr::data, NULL, SCIP_Expr::op, polynomialdataMergeMonomials(), and SCIP_EXPR_POLYNOMIAL.
Referenced by exprsimplifyFlattenPolynomials().
◆ SCIPexprCreateMonomial()
| SCIP_EXPORT 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 7037 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(), SCIPexprgraphGetSumTrees(), and setupProblem().
◆ SCIPexprFreeMonomial()
| SCIP_EXPORT 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 7094 of file expr.c.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, and NULL.
Referenced by exprConvertToPolynomial(), polynomialdataExpandMonomialFactor(), polynomialdataFree(), polynomialdataMergeMonomials(), polynomialdataMultiplyByConstant(), and polynomialdataPower().
◆ SCIPexprSortMonomialFactors()
| SCIP_EXPORT void SCIPexprSortMonomialFactors | ( | SCIP_EXPRDATA_MONOMIAL * | monomial | ) |
ensures that factors in a monomial are sorted
- Parameters
-
monomial monomial
Definition at line 7118 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().
◆ SCIPexprFindMonomialFactor()
| SCIP_EXPORT 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
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 7138 of file expr.c.
References SCIP_ExprData_Monomial::childidxs, FALSE, SCIP_ExprData_Monomial::nfactors, NULL, SCIPexprSortMonomialFactors(), and SCIPsortedvecFindInt().
Referenced by exprgraphNodeSimplify(), and exprsimplifyFlattenPolynomials().
◆ SCIPexprAreMonomialsEqual()
| SCIP_EXPORT 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 6822 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().
◆ SCIPexprAddMonomialFactors()
| SCIP_EXPORT 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 6864 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().
◆ SCIPexprChgMonomialCoef()
| SCIP_EXPORT void SCIPexprChgMonomialCoef | ( | SCIP_EXPRDATA_MONOMIAL * | monomial, |
| SCIP_Real | newcoef | ||
| ) |
changes coefficient of monomial
- Parameters
-
monomial monomial newcoef new coefficient
Definition at line 6853 of file expr.c.
References SCIP_ExprData_Monomial::coef, and NULL.
Referenced by polynomialdataMultiplyByConstant(), and polynomialdataMultiplyByPolynomial().
◆ SCIPexprMultiplyMonomialByMonomial()
| SCIP_EXPORT 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 6893 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().
◆ SCIPexprMonomialPower()
| SCIP_EXPORT void SCIPexprMonomialPower | ( | SCIP_EXPRDATA_MONOMIAL * | monomial, |
| int | exponent | ||
| ) |
replaces the monomial by a power of the monomial allows only integers as 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 6928 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().
◆ SCIPexprMergeMonomialFactors()
| SCIP_EXPORT 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
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 6958 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 exprgraphNodeSimplify(), and polynomialdataMergeMonomials().
◆ SCIPexprSortMonomials()
| SCIP_EXPORT void SCIPexprSortMonomials | ( | SCIP_EXPR * | expr | ) |
ensures that monomials of a polynomial are sorted
- Parameters
-
expr polynomial expression
Definition at line 7025 of file expr.c.
References SCIP_Expr::data, NULL, SCIP_Expr::op, polynomialdataSortMonomials(), and SCIP_EXPR_POLYNOMIAL.
Referenced by SCIPexprAreEqual().
◆ SCIPexprCreateUser()
| SCIP_EXPORT 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_DECL_USEREXPRPRINT((*print)) | |||
| ) |
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 7155 of file expr.c.
References BMSallocBlockMemory, BMSduplicateBlockMemoryArray, eval(), SCIP_ExprData_User::evalcapability, exprCreate(), NULL, polyscip::global::print(), SCIP_ALLOC, SCIP_CALL, SCIP_EXPR_USER, SCIP_EXPRINTCAPABILITY_FUNCVALUE, SCIP_EXPRINTCAPABILITY_INTFUNCVALUE, SCIP_OKAY, and SCIP_ExprData_User::userdata.
Referenced by exprgraphNodeCreateExpr().
◆ SCIPexprHasParam()
| SCIP_EXPORT SCIP_Bool SCIPexprHasParam | ( | SCIP_EXPR * | expr | ) |
indicates whether the expression contains a SCIP_EXPR_PARAM
- Parameters
-
expr expression
Definition at line 7215 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().
◆ SCIPexprGetMaxDegree()
| SCIP_EXPORT 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 7234 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().
◆ SCIPexprGetVarsUsage()
| SCIP_EXPORT 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 7559 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().
◆ SCIPexprAreEqual()
| SCIP_EXPORT 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)
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 7582 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().
◆ SCIPexprSimplify()
| SCIP_EXPORT 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
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 7797 of file expr.c.
References exprsimplifyConvertToPolynomials(), exprsimplifyFlattenPolynomials(), exprsimplifySeparateLinearFromPolynomial(), exprsimplifyUnconvertPolynomials(), NULL, SCIP_CALL, SCIP_OKAY, SCIPdebug, SCIPdebugMessage, SCIPdebugPrintf, and SCIPexprPrint().
Referenced by SCIPexprtreeSimplify().
◆ SCIPexprEvalShallow()
| SCIP_EXPORT 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 7849 of file expr.c.
References SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_CALL, and SCIP_OKAY.
◆ SCIPexprEval()
| SCIP_EXPORT 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 7868 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().
◆ SCIPexprEvalIntShallow()
| SCIP_EXPORT 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 7909 of file expr.c.
References SCIP_Expr::data, SCIP_Expr::nchildren, NULL, SCIP_Expr::op, SCIP_CALL, and SCIP_OKAY.
◆ SCIPexprEvalInt()
| SCIP_EXPORT 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 7929 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().
◆ SCIPexprEvalUser()
| SCIP_EXPORT 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 7971 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().
◆ SCIPexprEvalIntUser()
| SCIP_EXPORT 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 7994 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().
◆ SCIPexprCheckCurvature()
| SCIP_EXPORT 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 8064 of file expr.c.
References BMSallocMemoryArray, BMSfreeMemoryArrayNull, doCheckCurvature(), SCIP_Expr::nchildren, NULL, SCIP_ALLOC, SCIP_ALLOC_TERMINATE, SCIP_EXPRESSION_MAXCHILDEST, and SCIP_OKAY.
Referenced by doCheckCurvature(), and SCIPexprtreeCheckCurvature().
◆ SCIPexprEstimateUser()
| SCIP_EXPORT 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 8109 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().
◆ SCIPexprSubstituteVars()
| SCIP_EXPORT 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 that latter is not NULL if substexprs[i] == NULL, then the variable expression i is not touched
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 8147 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().
◆ SCIPexprReindexVars()
| SCIP_EXPORT 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 8185 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().
◆ SCIPexprReindexParams()
| SCIP_EXPORT 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 8206 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().
◆ SCIPexprPrint()
| SCIP_EXPORT 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 8227 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_MAXSTRLEN, SCIP_Real, SCIPABORT, SCIPerrorMessage, SCIPexprPrint(), SCIPmessageFPrintInfo(), SCIPsnprintf(), and SCIP_ExprData_User::userdata.
Referenced by exprParse(), exprsimplifyFlattenPolynomials(), SCIPexprPrint(), SCIPexprSimplify(), and SCIPexprtreePrint().
◆ SCIPexprParse()
| SCIP_EXPORT SCIP_RETCODE SCIPexprParse | ( | BMS_BLKMEM * | blkmem, |
| SCIP_MESSAGEHDLR * | messagehdlr, | ||
| SCIP_EXPR ** | expr, | ||
| const char * | str, | ||
| const char * | lastchar, | ||
| int * | nvars, | ||
| int * | varnames, | ||
| int | varnameslength | ||
| ) |
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) varnameslength length of the varnames buffer array
Definition at line 8540 of file expr.c.
References exprParse(), NULL, SCIP_CALL, SCIPhashtableCreate(), and SCIPhashtableFree().
Referenced by SCIP_DECL_CONSPARSE().
◆ SCIPexprtreeGetRoot()
| SCIP_EXPORT SCIP_EXPR* SCIPexprtreeGetRoot | ( | SCIP_EXPRTREE * | tree | ) |
returns root expression of an expression tree
- Parameters
-
tree expression tree
Definition at line 8604 of file expr.c.
References NULL, and SCIP_ExprTree::root.
Referenced by addUserEstimator(), checkCurvature(), generateCut(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateUnderestimatorParallelYFacets(), getExprtreeSize(), getLinearAndQuadraticCoefs(), initSepaData(), initSepaDataCreateVred(), printNonlinearRow(), printRowNl(), readConstraints(), readObjective(), removeFixedVariables(), SCIPexprintCompile(), SCIPexprintEval(), SCIPexprintEvalInt(), SCIPnlpiOraclePrintProblemGams(), and SCIPwritePip().
◆ SCIPexprtreeGetNVars()
| SCIP_EXPORT int SCIPexprtreeGetNVars | ( | SCIP_EXPRTREE * | tree | ) |
returns number of variables in expression tree
- Parameters
-
tree expression tree
Definition at line 8614 of file expr.c.
References NULL, and SCIP_ExprTree::nvars.
Referenced by addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addIntervalGradientEstimator(), addLinearization(), addUserEstimator(), checkCurvature(), computeGradient(), computeViolation(), consdataAddExprtrees(), createConstraint(), evalFunctionGradient(), evalFunctionValue(), freeConstraint(), generateConvexConcaveUnderestimator(), generateCut(), getLinearAndQuadraticCoefs(), hessLagAddExprtree(), hessLagSparsitySetNzFlagForExprtree(), nlpAddNlRows(), nlpSetupNlpiIndices(), nlrowCalcActivityBounds(), nlrowExprtreeChanged(), nlrowRemoveFixedExprtreeVars(), printFunction(), printRowNl(), processNlRow(), readObjective(), registerBranchingVariables(), registerLargeRelaxValueVariableForBranching(), removeFixedVariables(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSINITLP(), SCIPaddNlRowGradientBenderscutOpt(), SCIPcreateConsBivariate(), SCIPcreateNlpiProb(), 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().
◆ SCIPexprtreeGetNParams()
| SCIP_EXPORT int SCIPexprtreeGetNParams | ( | SCIP_EXPRTREE * | tree | ) |
returns number of parameters in expression tree
- Parameters
-
tree expression tree
Definition at line 8624 of file expr.c.
References SCIP_ExprTree::nparams, and NULL.
Referenced by nlrowExprtreeParamChanged(), nlrowRemoveFixedExprtreeVars(), SCIPnlpiOracleChgExprParam(), and SCIPnlrowChgExprtreeParams().
◆ SCIPexprtreeGetParamVals()
| SCIP_EXPORT SCIP_Real* SCIPexprtreeGetParamVals | ( | SCIP_EXPRTREE * | tree | ) |
returns values of parameters or NULL if none
- Parameters
-
tree expression tree
Definition at line 8634 of file expr.c.
References NULL, and SCIP_ExprTree::params.
Referenced by addUserEstimator(), nlrowExprtreeParamChanged(), SCIPexprintEval(), and SCIPexprintEvalInt().
◆ SCIPexprtreeSetParamVal()
| SCIP_EXPORT 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 8644 of file expr.c.
References NULL, and SCIP_ExprTree::params.
Referenced by generateConvexConcaveUnderestimator(), SCIPnlpiOracleChgExprParam(), and SCIPnlrowChgExprtreeParam().
◆ SCIPexprtreeGetInterpreterData()
| SCIP_EXPORT SCIP_EXPRINTDATA* SCIPexprtreeGetInterpreterData | ( | SCIP_EXPRTREE * | tree | ) |
gets data of expression tree interpreter, or NULL if not set
- Parameters
-
tree expression tree
Definition at line 8659 of file expr.c.
References SCIP_ExprTree::interpreterdata, and NULL.
Referenced by addIntervalGradientEstimator(), addLinearization(), computeGradient(), computeViolation(), generateLinearizationCut(), initSepaData(), SCIP_DECL_CONSINITLP(), SCIPaddNlRowGradientBenderscutOpt(), SCIPexprintCompile(), SCIPexprintEval(), SCIPexprintEvalInt(), SCIPexprintGetExprtreeCapability(), SCIPexprintGrad(), SCIPexprintGradInt(), SCIPexprintHessianDense(), SCIPexprintHessianSparsityDense(), SCIPexprintNewParametrization(), and solveDerivativeEquation().
◆ SCIPexprtreeSetInterpreterData()
| SCIP_EXPORT 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 8669 of file expr.c.
References SCIP_ExprTree::interpreterdata, and NULL.
Referenced by SCIPexprintCompile().
◆ SCIPexprtreeFreeInterpreterData()
| SCIP_EXPORT SCIP_RETCODE SCIPexprtreeFreeInterpreterData | ( | SCIP_EXPRTREE * | tree | ) |
frees data of expression tree interpreter, if any
- Parameters
-
tree expression tree
Definition at line 8682 of file expr.c.
References SCIP_ExprTree::interpreterdata, NULL, SCIP_CALL, SCIP_OKAY, and SCIPexprintFreeData().
Referenced by SCIPexprtreeAddExpr(), SCIPexprtreeFree(), SCIPexprtreeSimplify(), and SCIPexprtreeSubstituteVars().
◆ SCIPexprtreeHasParam()
| SCIP_EXPORT 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 8696 of file expr.c.
References NULL, SCIP_ExprTree::root, and SCIPexprHasParam().
◆ SCIPexprtreeGetMaxDegree()
| SCIP_EXPORT 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 8712 of file expr.c.
References NULL, SCIP_ExprTree::root, SCIP_CALL, SCIP_OKAY, and SCIPexprGetMaxDegree().
Referenced by SCIPwriteGms().
◆ SCIPexprtreeEval()
| SCIP_EXPORT 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 8725 of file expr.c.
References NULL, SCIP_ExprTree::nvars, SCIP_ExprTree::params, SCIP_ExprTree::root, SCIP_CALL, SCIP_OKAY, and SCIPexprEval().
Referenced by addConcaveEstimatorBivariate(), addConcaveEstimatorUnivariate(), generateConvexConcaveUnderestimator(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateUnderestimatorParallelYFacets(), nlrowRemoveFixedExprtreeVars(), SCIPevalExprtreeSol(), SCIPexprintEval(), SCIPexprtreeSimplify(), SCIPnlrowGetSolActivity(), SCIPnlrowRecalcNLPActivity(), and SCIPnlrowRecalcPseudoActivity().
◆ SCIPexprtreeEvalInt()
| SCIP_EXPORT 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 8741 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().
◆ SCIPexprtreePrint()
| SCIP_EXPORT 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 8758 of file expr.c.
References NULL, SCIP_ExprTree::params, SCIP_ExprTree::root, and SCIPexprPrint().
Referenced by generateConvexConcaveUnderestimator(), isConvexLocal(), printFunction(), and SCIPexprtreePrintWithNames().
◆ SCIPexprtreeCreate()
| SCIP_EXPORT 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 8773 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(), SCIPwritePip(), and setupProblem().
◆ SCIPexprtreeCopy()
| SCIP_EXPORT 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 8814 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().
◆ SCIPexprtreeFree()
| SCIP_EXPORT SCIP_RETCODE SCIPexprtreeFree | ( | SCIP_EXPRTREE ** | tree | ) |
frees an expression tree
- Parameters
-
tree pointer to expression tree that is freed
Definition at line 8854 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(), SCIPwritePip(), and setupProblem().
◆ SCIPexprtreeSetParams()
| SCIP_EXPORT 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 8878 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().
◆ SCIPexprtreeGetVarsUsage()
| SCIP_EXPORT 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 8909 of file expr.c.
References BMSclearMemoryArray, NULL, SCIP_ExprTree::nvars, SCIP_ExprTree::root, and SCIPexprGetVarsUsage().
◆ SCIPexprtreeSimplify()
| SCIP_EXPORT 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
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 8928 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(), SCIPrandomCreate(), SCIPrandomFree(), SCIPrandomGetReal(), and SCIPrelDiff().
◆ SCIPexprtreeAddExpr()
| SCIP_EXPORT 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 as children If no root existed yet, then the root is set to the given expression (or a copy of it).
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. If no root existed yet, then the root is set to the given expression (or a copy of it).
- Parameters
-
tree expression tree expr expression to add to tree copyexpr whether expression should be copied
Definition at line 8983 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().
◆ SCIPexprtreeCheckCurvature()
| SCIP_EXPORT 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 9012 of file expr.c.
References NULL, SCIP_ExprTree::params, SCIP_ExprTree::root, SCIP_CALL, SCIP_EXPRCURV_LINEAR, SCIP_OKAY, SCIPexprCheckCurvature(), and SCIPintervalSet().
Referenced by checkCurvature().
◆ SCIPexprtreeSubstituteVars()
| SCIP_EXPORT 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
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 9047 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().
◆ SCIPquadelemSort()
| SCIP_EXPORT 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 9213 of file expr.c.
References quadelemsQuickSort().
Referenced by createConstraint(), exprgraphFindParentByOperator(), nlrowSortQuadElem(), quadraticdataSort(), SCIPnlpiOracleChgQuadCoefs(), and SCIPnlpiOracleDelVarSet().
◆ SCIPquadelemSortedFind()
| SCIP_EXPORT 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 9238 of file expr.c.
References FALSE, NULL, and TRUE.
Referenced by nlrowSearchQuadElem(), and SCIPnlpiOracleChgQuadCoefs().
◆ SCIPquadelemSqueeze()
| SCIP_EXPORT 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 9290 of file expr.c.
References SCIP_QuadElement::coef, NULL, and QUADELEMS_ISBETTER.
Referenced by createConstraint(), and SCIPnlpiOracleChgQuadCoefs().
◆ SCIPexprgraphCaptureNode()
| SCIP_EXPORT void SCIPexprgraphCaptureNode | ( | SCIP_EXPRGRAPHNODE * | node | ) |
captures node, i.e., increases number of uses
- Parameters
-
node expression graph node to capture
Definition at line 12969 of file expr.c.
References SCIP_ExprGraphNode::nuses, and SCIPdebugMessage.
Referenced by exprgraphNodeRemoveParent(), reformReplaceNode(), SCIPcreateConsNonlinear2(), SCIPexprgraphAddExprtreeSum(), and SCIPexprgraphNodeSplitOffLinear().
◆ SCIPexprgraphIsNodeEnabled()
| SCIP_EXPORT SCIP_Bool SCIPexprgraphIsNodeEnabled | ( | SCIP_EXPRGRAPHNODE * | node | ) |
returns whether a node is currently enabled
- Parameters
-
node expression graph node to enable
Definition at line 12981 of file expr.c.
References SCIP_ExprGraphNode::enabled, and NULL.
Referenced by reformulate().
◆ SCIPexprgraphGetNodeNChildren()
| SCIP_EXPORT int SCIPexprgraphGetNodeNChildren | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gets number of children of a node in an expression graph
- Parameters
-
node expression graph node
Definition at line 12991 of file expr.c.
References SCIP_ExprGraphNode::nchildren, and NULL.
Referenced by findAggregation(), reformEnsureChildrenMinCurvature(), reformMonomial(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), and splitOffLinearPart().
◆ SCIPexprgraphGetNodeChildren()
| SCIP_EXPORT SCIP_EXPRGRAPHNODE** SCIPexprgraphGetNodeChildren | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gets children of a node in an expression graph
- Parameters
-
node expression graph node
Definition at line 13001 of file expr.c.
References SCIP_ExprGraphNode::children, and NULL.
Referenced by findAggregation(), reformEnsureChildrenMinCurvature(), reformMonomial(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().
◆ SCIPexprgraphGetNodeNParents()
| SCIP_EXPORT int SCIPexprgraphGetNodeNParents | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gets number of parents of a node in an expression graph
- Parameters
-
node expression graph node
Definition at line 13011 of file expr.c.
References SCIP_ExprGraphNode::nparents, and NULL.
Referenced by reformMonomial(), reformReplaceNode(), and reformulate().
◆ SCIPexprgraphGetNodeParents()
| SCIP_EXPORT SCIP_EXPRGRAPHNODE** SCIPexprgraphGetNodeParents | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gets parents of a node in an expression graph
- Parameters
-
node expression graph node
Definition at line 13021 of file expr.c.
References NULL, and SCIP_ExprGraphNode::parents.
Referenced by reformMonomial().
◆ SCIPexprgraphGetNodeDepth()
| SCIP_EXPORT int SCIPexprgraphGetNodeDepth | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gets depth of node in expression graph
- Parameters
-
node expression graph node
Definition at line 13031 of file expr.c.
References SCIP_ExprGraphNode::depth, and NULL.
Referenced by reformEnsureChildrenMinCurvature(), reformNode2Var(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().
◆ SCIPexprgraphGetNodePosition()
| SCIP_EXPORT int SCIPexprgraphGetNodePosition | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gets position of node in expression graph at its depth level
- Parameters
-
node expression graph node
Definition at line 13041 of file expr.c.
References NULL, and SCIP_ExprGraphNode::pos.
Referenced by reformEnsureChildrenMinCurvature(), reformNode2Var(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().
◆ SCIPexprgraphGetNodeOperator()
| SCIP_EXPORT SCIP_EXPROP SCIPexprgraphGetNodeOperator | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gets operator of a node in an expression graph
- Parameters
-
node expression graph node
Definition at line 13051 of file expr.c.
References NULL, and SCIP_ExprGraphNode::op.
Referenced by findAggregation(), reformEnsureChildrenMinCurvature(), reformMonomial(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), and SCIPexprgraphNodePolynomialAddMonomials().
◆ SCIPexprgraphGetNodeOperatorIndex()
| SCIP_EXPORT 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 13061 of file expr.c.
References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, SCIP_EXPR_PARAM, and SCIP_EXPR_VARIDX.
◆ SCIPexprgraphGetNodeOperatorReal()
| SCIP_EXPORT SCIP_Real SCIPexprgraphGetNodeOperatorReal | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gives real belonging to a SCIP_EXPR_CONST operand
- Parameters
-
node expression graph node
Definition at line 13072 of file expr.c.
References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_CONST.
◆ SCIPexprgraphGetNodeVar()
| SCIP_EXPORT 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 13083 of file expr.c.
References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraph::nvars, SCIP_ExprGraphNode::op, SCIP_EXPR_VARIDX, and SCIP_ExprGraph::vars.
Referenced by findAggregation(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().
◆ SCIPexprgraphGetNodeRealPowerExponent()
| SCIP_EXPORT SCIP_Real SCIPexprgraphGetNodeRealPowerExponent | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gives exponent belonging to a SCIP_EXPR_REALPOWER expression
- Parameters
-
node expression graph node
Definition at line 13098 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().
◆ SCIPexprgraphGetNodeIntPowerExponent()
| SCIP_EXPORT int SCIPexprgraphGetNodeIntPowerExponent | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gives exponent belonging to a SCIP_EXPR_INTPOWER expression
- Parameters
-
node expression graph node
Definition at line 13109 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().
◆ SCIPexprgraphGetNodeSignPowerExponent()
| SCIP_EXPORT SCIP_Real SCIPexprgraphGetNodeSignPowerExponent | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gives exponent belonging to a SCIP_EXPR_SIGNPOWER expression
- Parameters
-
node expression graph node
Definition at line 13120 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().
◆ SCIPexprgraphGetNodeLinearCoefs()
| SCIP_EXPORT SCIP_Real* SCIPexprgraphGetNodeLinearCoefs | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gives linear coefficients belonging to a SCIP_EXPR_LINEAR expression
- Parameters
-
node expression graph node
Definition at line 13131 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().
◆ SCIPexprgraphGetNodeLinearConstant()
| SCIP_EXPORT SCIP_Real SCIPexprgraphGetNodeLinearConstant | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gives constant belonging to a SCIP_EXPR_LINEAR expression
- Parameters
-
node expression graph node
Definition at line 13142 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().
◆ SCIPexprgraphGetNodeQuadraticConstant()
| SCIP_EXPORT SCIP_Real SCIPexprgraphGetNodeQuadraticConstant | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gives constant belonging to a SCIP_EXPR_QUADRATIC expression
- Parameters
-
node expression graph node
Definition at line 13154 of file expr.c.
References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_QUADRATIC.
Referenced by SCIP_DECL_NONLINCONSUPGD().
◆ SCIPexprgraphGetNodeQuadraticLinearCoefs()
| SCIP_EXPORT 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 13166 of file expr.c.
References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_QUADRATIC.
Referenced by SCIP_DECL_NONLINCONSUPGD().
◆ SCIPexprgraphGetNodeQuadraticQuadElements()
| SCIP_EXPORT SCIP_QUADELEM* SCIPexprgraphGetNodeQuadraticQuadElements | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gives quadratic elements belonging to a SCIP_EXPR_QUADRATIC expression
- Parameters
-
node expression graph node
Definition at line 13178 of file expr.c.
References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_QUADRATIC.
Referenced by SCIP_DECL_NONLINCONSUPGD().
◆ SCIPexprgraphGetNodeQuadraticNQuadElements()
| SCIP_EXPORT 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 13190 of file expr.c.
References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_QUADRATIC.
Referenced by SCIP_DECL_NONLINCONSUPGD().
◆ SCIPexprgraphGetNodePolynomialMonomials()
| SCIP_EXPORT 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 13202 of file expr.c.
References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_POLYNOMIAL.
Referenced by findAggregation(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().
◆ SCIPexprgraphGetNodePolynomialNMonomials()
| SCIP_EXPORT 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 13214 of file expr.c.
References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_POLYNOMIAL.
Referenced by findAggregation(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().
◆ SCIPexprgraphGetNodePolynomialConstant()
| SCIP_EXPORT SCIP_Real SCIPexprgraphGetNodePolynomialConstant | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gives the constant belonging to a SCIP_EXPR_POLYNOMIAL expression
- Parameters
-
node expression graph node
Definition at line 13226 of file expr.c.
References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_POLYNOMIAL.
Referenced by findAggregation(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().
◆ SCIPexprgraphGetNodePolynomialMonomialCurvature()
| SCIP_EXPORT 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
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 13241 of file expr.c.
References BMSallocMemoryArray, BMSfreeMemoryArrayNull, SCIP_ExprGraphNode::bounds, SCIP_ExprGraphNode::boundstatus, SCIP_ExprData_Monomial::childidxs, SCIP_ExprGraphNode::children, SCIP_ExprData_Monomial::coef, SCIP_ExprGraphNode::curv, SCIP_ExprGraphNode::data, SCIP_ExprGraphNode::depth, SCIP_ExprGraphNode::enabled, SCIP_ExprData_Monomial::exponents, SCIP_ExprData_Monomial::nfactors, NULL, SCIP_ExprGraphNode::op, SCIP_ExprGraphNode::pos, SCIP_ALLOC, SCIP_ALLOC_TERMINATE, SCIP_EXPR_POLYNOMIAL, SCIP_EXPRBOUNDSTATUS_CHILDRELAXED, SCIP_EXPRBOUNDSTATUS_VALID, SCIP_EXPRCURV_LINEAR, SCIP_EXPRESSION_MAXCHILDEST, SCIP_OKAY, SCIPexprcurvMonomial(), SCIPexprcurvMultiply(), and SCIPintervalIsEmpty().
Referenced by reformulate().
◆ SCIPexprgraphGetNodeUserData()
| SCIP_EXPORT SCIP_USEREXPRDATA* SCIPexprgraphGetNodeUserData | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gives the user data belonging to a SCIP_EXPR_USER expression
Definition at line 13321 of file expr.c.
References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_USER.
◆ SCIPexprgraphHasNodeUserEstimator()
| SCIP_EXPORT SCIP_Bool SCIPexprgraphHasNodeUserEstimator | ( | SCIP_EXPRGRAPHNODE * | node | ) |
indicates whether a user expression has the estimator callback defined
Definition at line 13333 of file expr.c.
References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraphNode::op, and SCIP_EXPR_USER.
◆ SCIPexprgraphGetNodeBounds()
| SCIP_EXPORT SCIP_INTERVAL SCIPexprgraphGetNodeBounds | ( | SCIP_EXPRGRAPHNODE * | node | ) |
gets bounds of a node in an expression graph
- Parameters
-
node expression graph node
Definition at line 13345 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().
◆ SCIPexprgraphGetNodeVal()
| SCIP_EXPORT 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 13355 of file expr.c.
References NULL, and SCIP_ExprGraphNode::value.
Referenced by computeViolation(), reformMonomial(), reformNode2Var(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), and SCIPexprgraphSimplify().
◆ SCIPexprgraphGetNodeCurvature()
| SCIP_EXPORT 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 13365 of file expr.c.
References SCIP_ExprGraphNode::curv, and NULL.
Referenced by reformEnsureChildrenMinCurvature(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIP_DECL_NONLINCONSUPGD().
◆ SCIPexprgraphCreateNode()
| SCIP_EXPORT 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 13375 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().
◆ SCIPexprgraphCreateNodeLinear()
| SCIP_EXPORT 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 13458 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().
◆ SCIPexprgraphCreateNodeQuadratic()
| SCIP_EXPORT 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 13484 of file expr.c.
References exprgraphCreateNode(), NULL, quadraticdataCreate(), SCIP_CALL, SCIP_EXPR_QUADRATIC, and SCIP_OKAY.
Referenced by reformulate().
◆ SCIPexprgraphCreateNodePolynomial()
| SCIP_EXPORT 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 13510 of file expr.c.
References exprgraphCreateNode(), NULL, polynomialdataCreate(), SCIP_CALL, SCIP_EXPR_POLYNOMIAL, and SCIP_OKAY.
Referenced by reformulate().
◆ SCIPexprgraphNodePolynomialAddMonomials()
| SCIP_EXPORT 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 13535 of file expr.c.
References SCIP_ExprGraphNode::data, NULL, polynomialdataAddMonomials(), SCIP_CALL, SCIP_EXPR_POLYNOMIAL, SCIP_OKAY, and SCIPexprgraphGetNodeOperator().
◆ SCIPexprgraphCreateNodeUser()
| SCIP_EXPORT 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_DECL_USEREXPRPRINT((*print)) | |||
| ) |
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 13554 of file expr.c.
References BMSallocBlockMemory, eval(), SCIP_ExprData_User::evalcapability, exprgraphCreateNode(), NULL, polyscip::global::print(), SCIP_ALLOC, SCIP_CALL, SCIP_EXPR_USER, SCIP_EXPRINTCAPABILITY_FUNCVALUE, SCIP_EXPRINTCAPABILITY_INTFUNCVALUE, SCIP_OKAY, and SCIP_ExprData_User::userdata.
◆ SCIPexprgraphNodeSplitOffLinear()
| SCIP_EXPORT 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 13608 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().
◆ SCIPexprgraphMoveNodeParents()
| SCIP_EXPORT 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 assumes that targetnode represents the same expression as srcnode
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 14420 of file expr.c.
References SCIP_ExprGraphNode::depth, exprgraphMoveNode(), exprgraphNodeReplaceChild(), NULL, SCIP_CALL, and SCIP_OKAY.
Referenced by reformReplaceNode(), SCIPexprgraphReplaceVarByLinearSum(), and SCIPexprgraphSimplify().
◆ SCIPexprgraphReleaseNode()
| SCIP_EXPORT 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 similar for constants
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 14452 of file expr.c.
References SCIP_ExprGraph::blkmem, SCIP_ExprGraphNode::children, SCIP_ExprGraph::constnodes, SCIP_ExprGraph::constssorted, SCIP_ExprGraph::depth, exprgraphFindConstNodePos(), exprgraphNodeRemoveParent(), exprgraphRemoveVar(), FALSE, SCIP_ExprGraphNode::nchildren, SCIP_ExprGraph::nconsts, SCIP_ExprGraph::nnodes, SCIP_ExprGraph::nodes, NULL, SCIP_ExprGraphNode::parentssorted, 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().
◆ SCIPexprgraphFreeNode()
| SCIP_EXPORT 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 14546 of file expr.c.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArrayNull, and NULL.
Referenced by SCIPexprgraphReleaseNode().
◆ SCIPexprgraphEnableNode()
| SCIP_EXPORT 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 14571 of file expr.c.
References SCIP_ExprGraphNode::depth, SCIP_ExprGraphNode::enabled, SCIP_ExprGraph::needvarboundprop, NULL, SCIP_ExprGraphNode::pos, SCIP_REAL_MAX, SCIPdebugMessage, SCIPexprgraphEnableNode(), SCIPintervalSetEntire(), and TRUE.
Referenced by SCIP_DECL_CONSENABLE(), and SCIPexprgraphEnableNode().
◆ SCIPexprgraphDisableNode()
| SCIP_EXPORT 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 14598 of file expr.c.
References SCIP_ExprGraphNode::depth, SCIP_ExprGraphNode::enabled, FALSE, SCIP_ExprGraphNode::nparents, NULL, SCIP_ExprGraphNode::nuses, SCIP_ExprGraphNode::parents, SCIP_ExprGraphNode::pos, SCIPdebugMessage, SCIPexprgraphDisableNode(), and TRUE.
Referenced by presolveUpgrade(), SCIP_DECL_CONSDISABLE(), and SCIPexprgraphDisableNode().
◆ SCIPexprgraphHasNodeSibling()
| SCIP_EXPORT SCIP_Bool SCIPexprgraphHasNodeSibling | ( | SCIP_EXPRGRAPHNODE * | node | ) |
returns whether the node has siblings in the expression graph
- Parameters
-
node expression graph node
Definition at line 14636 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().
◆ SCIPexprgraphAreAllNodeChildrenVars()
| SCIP_EXPORT SCIP_Bool SCIPexprgraphAreAllNodeChildrenVars | ( | SCIP_EXPRGRAPHNODE * | node | ) |
returns whether all children of an expression graph node are variable nodes gives TRUE for nodes without children
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 14655 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().
◆ SCIPexprgraphHasNodeNonlinearAncestor()
| SCIP_EXPORT 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 14671 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().
◆ SCIPexprgraphPrintNode()
| SCIP_EXPORT 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 14708 of file expr.c.
References exprgraphPrintNodeExpression(), FALSE, and NULL.
Referenced by reformulate().
◆ SCIPexprgraphTightenNodeBounds()
| SCIP_EXPORT 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
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 14724 of file expr.c.
References 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().
◆ SCIPexprgraphUpdateNodeBoundsCurvature()
| SCIP_EXPORT 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
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 14786 of file expr.c.
References BMSallocMemoryArray, BMSfreeMemoryArrayNull, SCIP_ExprGraphNode::bounds, SCIP_ExprGraphNode::boundstatus, SCIP_ExprGraphNode::children, SCIP_ExprGraphNode::curv, 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_ALLOC_TERMINATE, SCIP_CALL_TERMINATE, SCIP_EXPR_PARAM, SCIP_EXPR_VARIDX, SCIP_EXPRBOUNDSTATUS_CHILDRELAXED, SCIP_EXPRBOUNDSTATUS_CHILDTIGHTENED, SCIP_EXPRBOUNDSTATUS_TIGHTENEDBYPARENT, SCIP_EXPRBOUNDSTATUS_VALID, SCIP_EXPRCURV_LINEAR, SCIP_EXPRESSION_MAXCHILDEST, SCIP_OKAY, SCIPdebugMessage, SCIPexpropGetName(), SCIPintervalIntersect(), SCIPintervalIsEmpty(), and SCIP_Interval::sup.
Referenced by reformEnsureChildrenMinCurvature(), reformMonomial(), reformulate(), and SCIPexprgraphCheckCurvature().
◆ SCIPexprgraphGetDepth()
| SCIP_EXPORT int SCIPexprgraphGetDepth | ( | SCIP_EXPRGRAPH * | exprgraph | ) |
get current maximal depth of expression graph
- Parameters
-
exprgraph expression graph
Definition at line 14937 of file expr.c.
References SCIP_ExprGraph::depth, and NULL.
Referenced by reformulate().
◆ SCIPexprgraphGetNNodes()
| SCIP_EXPORT int* SCIPexprgraphGetNNodes | ( | SCIP_EXPRGRAPH * | exprgraph | ) |
gets array with number of nodes at each depth of expression graph
- Parameters
-
exprgraph expression graph
Definition at line 14947 of file expr.c.
References SCIP_ExprGraph::nnodes, and NULL.
Referenced by reformulate().
◆ SCIPexprgraphGetNodes()
| SCIP_EXPORT SCIP_EXPRGRAPHNODE*** SCIPexprgraphGetNodes | ( | SCIP_EXPRGRAPH * | exprgraph | ) |
gets nodes of expression graph, one array per depth
- Parameters
-
exprgraph expression graph
Definition at line 14957 of file expr.c.
References SCIP_ExprGraph::nodes, and NULL.
Referenced by reformulate().
◆ SCIPexprgraphGetNVars()
| SCIP_EXPORT 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 14967 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().
◆ SCIPexprgraphGetVars()
| SCIP_EXPORT 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 14977 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().
◆ SCIPexprgraphGetVarNodes()
| SCIP_EXPORT 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 14987 of file expr.c.
References NULL, and SCIP_ExprGraph::varnodes.
Referenced by propagateBounds(), and propagateConstraintSides().
◆ SCIPexprgraphSetVarNodeValue()
| SCIP_EXPORT 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 14997 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().
◆ SCIPexprgraphSetVarsBounds()
| SCIP_EXPORT void SCIPexprgraphSetVarsBounds | ( | SCIP_EXPRGRAPH * | exprgraph, |
| SCIP_INTERVAL * | varbounds | ||
| ) |
sets bounds for variables
- Parameters
-
exprgraph expression graph varbounds new bounds for variables
Definition at line 15009 of file expr.c.
References BMScopyMemoryArray, NULL, SCIP_ExprGraph::nvars, and SCIP_ExprGraph::varbounds.
◆ SCIPexprgraphSetVarBounds()
| SCIP_EXPORT 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 15021 of file expr.c.
References NULL, SCIPhashmapExists(), SCIPhashmapGetImageInt(), SCIP_ExprGraph::varbounds, SCIP_ExprGraph::varidxs, and SCIP_ExprGraph::vars.
◆ SCIPexprgraphSetVarNodeBounds()
| SCIP_EXPORT 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 15041 of file expr.c.
References SCIP_ExprGraphNode::data, NULL, SCIP_ExprGraph::varbounds, and SCIP_ExprGraph::varnodes.
Referenced by SCIP_DECL_EXPRGRAPHVARADDED().
◆ SCIPexprgraphSetVarNodeLb()
| SCIP_EXPORT 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 15061 of file expr.c.
References SCIP_ExprGraphNode::data, SCIP_Interval::inf, NULL, SCIP_ExprGraph::varbounds, and SCIP_ExprGraph::varnodes.
Referenced by SCIP_DECL_EVENTEXEC().
◆ SCIPexprgraphSetVarNodeUb()
| SCIP_EXPORT 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 15081 of file expr.c.
References SCIP_ExprGraphNode::data, NULL, SCIP_Interval::sup, SCIP_ExprGraph::varbounds, and SCIP_ExprGraph::varnodes.
Referenced by SCIP_DECL_EVENTEXEC().
◆ SCIPexprgraphGetVarsBounds()
| SCIP_EXPORT SCIP_INTERVAL* SCIPexprgraphGetVarsBounds | ( | SCIP_EXPRGRAPH * | exprgraph | ) |
gets bounds that are stored for all variables
- Parameters
-
exprgraph expression graph
Definition at line 15101 of file expr.c.
References SCIP_ExprGraph::varbounds.
◆ SCIPexprgraphCreate()
| SCIP_EXPORT 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 15109 of file expr.c.
References BMSallocBlockMemory, BMSclearMemory, ensureBlockMemoryArraySize3, exprgraphEnsureDepth(), MAX, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPhashmapCreate(), and TRUE.
Referenced by SCIPincludeConshdlrBivariate(), and SCIPincludeConshdlrNonlinear().
◆ SCIPexprgraphFree()
| SCIP_EXPORT SCIP_RETCODE SCIPexprgraphFree | ( | SCIP_EXPRGRAPH ** | exprgraph | ) |
frees an expression graph
- Parameters
-
exprgraph pointer to expression graph that should be freed
Definition at line 15148 of file expr.c.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, BMSfreeBlockMemoryArrayNull, NULL, SCIP_OKAY, and SCIPhashmapFree().
Referenced by SCIP_DECL_CONSFREE().
◆ SCIPexprgraphAddNode()
| SCIP_EXPORT 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
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 15197 of file expr.c.
References SCIP_ExprGraph::blkmem, BMSduplicateBlockMemoryArray, SCIP_ExprGraphNode::bounds, SCIP_ExprGraphNode::boundstatus, SCIP_ExprGraphNode::children, SCIP_ExprGraphNode::data, SCIP_ExprGraphNode::depth, SCIP_ExprGraph::depth, ensureBlockMemoryArraySize, exprgraphEnsureDepth(), exprgraphNodeAddParent(), exprgraphNodeEval(), MAX, SCIP_ExprGraphNode::nchildren, SCIP_ExprGraph::needvarboundprop, SCIP_ExprGraph::nnodes, SCIP_ExprGraph::nodes, SCIP_ExprGraph::nodessize, SCIP_ExprGraphNode::nparents, NULL, SCIP_ExprGraphNode::op, SCIP_ExprGraphNode::pos, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_EXPR_CONST, SCIP_EXPR_VARIDX, SCIP_EXPRBOUNDSTATUS_CHILDTIGHTENED, SCIP_EXPRBOUNDSTATUS_VALID, SCIP_INVALID, SCIP_OKAY, SCIP_REAL_MAX, SCIPintervalSet(), SCIPintervalSetEntire(), TRUE, and SCIP_ExprGraphNode::value.
Referenced by exprgraphAddExpr(), reformMonomial(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIPexprgraphAddConst(), SCIPexprgraphAddExprtreeSum(), SCIPexprgraphAddVars(), and SCIPexprgraphNodeSplitOffLinear().
◆ SCIPexprgraphAddVars()
| SCIP_EXPORT 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
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 15281 of file expr.c.
References SCIP_ExprGraph::blkmem, 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_CALL, SCIP_EXPR_VARIDX, SCIP_OKAY, SCIP_REAL_MAX, SCIPdebugMessage, SCIPexprgraphAddNode(), SCIPexprgraphFindVarNode(), SCIPhashmapExists(), SCIPhashmapInsertInt(), 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().
◆ SCIPexprgraphAddConst()
| 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
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 15354 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().
◆ SCIPexprgraphAddExprtreeSum()
| SCIP_EXPORT 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
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 15401 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().
◆ SCIPexprgraphReplaceVarByLinearSum()
| SCIP_EXPORT 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
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 15542 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(), SCIPhashmapGetImageInt(), SCIPhashmapInsertInt(), 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().
◆ SCIPexprgraphFindVarNode()
| SCIP_EXPORT 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 15714 of file expr.c.
References FALSE, NULL, SCIP_EXPR_VARIDX, SCIPhashmapExists(), SCIPhashmapGetImageInt(), TRUE, SCIP_ExprGraph::varidxs, and SCIP_ExprGraph::varnodes.
Referenced by SCIPexprgraphAddVars(), and SCIPexprgraphReplaceVarByLinearSum().
◆ SCIPexprgraphFindConstNode()
| SCIP_EXPORT 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 15743 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().
◆ SCIPexprgraphPrintDot()
| SCIP_EXPORT 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 15791 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().
◆ SCIPexprgraphEval()
| SCIP_EXPORT 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 15840 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().
◆ SCIPexprgraphPropagateVarBounds()
| SCIP_EXPORT 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 15861 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_Bool, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPintervalIsEmpty(), and TRUE.
Referenced by propagateBounds(), reformulate(), and SCIP_DECL_CONSPRESOL().
◆ SCIPexprgraphPropagateNodeBounds()
| SCIP_EXPORT 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
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 15915 of file expr.c.
References SCIP_ExprGraph::depth, exprgraphNodePropagateBounds(), FALSE, SCIP_ExprGraph::nnodes, SCIP_ExprGraph::nodes, and NULL.
Referenced by propagateBounds(), and propagateConstraintSides().
◆ SCIPexprgraphCheckCurvature()
| SCIP_EXPORT 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
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 15947 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().
◆ SCIPexprgraphSimplify()
| SCIP_EXPORT 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))
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 15990 of file expr.c.
References SCIP_ExprGraph::blkmem, BMSallocMemoryArray, BMSfreeBlockMemoryArrayNull, BMSfreeMemoryArray, SCIP_ExprGraphNode::children, SCIP_ExprGraphNode::data, SCIP_ExprGraph::depth, ensureBlockMemoryArraySize, EPSZ, exprgraphMoveNode(), exprgraphNodeEval(), exprgraphNodeReplaceChild(), exprgraphNodeSimplify(), exprUnconvertPolynomial(), FALSE, SCIP_Interval::inf, MAX, SCIP_ExprGraphNode::nchildren, SCIP_ExprGraph::nnodes, SCIP_ExprGraph::nodes, SCIP_ExprGraphNode::nparents, NULL, SCIP_ExprGraphNode::nuses, SCIP_ExprGraph::nvars, SCIP_ExprGraphNode::op, SCIP_ExprGraphNode::parents, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_EXPR_CONST, SCIP_EXPR_POLYNOMIAL, SCIP_EXPR_SUM, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPexprgraphEval(), SCIPexprgraphFindConstNode(), SCIPexprgraphGetNodeVal(), SCIPexprgraphMoveNodeParents(), SCIPexprgraphPrintDot(), SCIPhashmapCreate(), SCIPhashmapExists(), SCIPhashmapFree(), SCIPhashmapGetImageInt(), SCIPhashmapInsertInt(), SCIPisFinite, SCIPrandomCreate(), SCIPrandomFree(), SCIPrandomGetReal(), SCIPrelDiff(), SCIP_ExprGraphNode::simplified, SCIP_Interval::sup, TRUE, SCIP_ExprGraphNode::value, and SCIP_ExprGraph::varbounds.
Referenced by SCIP_DECL_CONSEXITPRE(), and SCIP_DECL_CONSPRESOL().
◆ SCIPexprgraphGetTree()
| SCIP_EXPORT 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 16254 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().
◆ SCIPexprgraphGetSeparableTrees()
| SCIP_EXPORT 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 16307 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, SCIP_ExprData_Polynomial::monomials, SCIP_ExprGraphNode::nchildren, SCIP_ExprData_Monomial::nfactors, SCIP_ExprData_Polynomial::nmonomials, nodedata, 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.
◆ SCIPexprgraphGetSubtreeVarsUsage()
| SCIP_EXPORT 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 16741 of file expr.c.
References BMSclearMemoryArray, exprgraphNodeGetVarsUsage(), NULL, and SCIP_ExprGraph::nvars.
Referenced by SCIP_DECL_CONSGETNVARS(), and SCIP_DECL_CONSGETVARS().
◆ SCIPexprgraphGetSumTreesNSummands()
| SCIP_EXPORT 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 16757 of file expr.c.
References SCIP_ExprGraphNode::data, SCIP_ExprData_Quadratic::lincoefs, SCIP_ExprGraphNode::nchildren, SCIP_ExprData_Polynomial::nmonomials, nodedata, 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().
◆ SCIPexprgraphGetSumTrees()
| SCIP_EXPORT 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 16793 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, nodedata, 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().