Solving Constraint Integer Programs

Detailed Description

sum expression handler

Stefan Vigerske
Benjamin Mueller

Definition in file expr_sum.h.

#include "scip/scip.h"
#include "scip/type_expr.h"

Go to the source code of this file.


SCIP_RETCODE SCIPincludeExprhdlrSum (SCIP *scip)
Sum expression

This expression handler provides the sum function, that is,

\[ x \mapsto c + \sum_{i=1}^n a_i x_i \]

for some constant c and constant coefficients \(a_i\).

SCIP_RETCODE SCIPcreateExprSum (SCIP *scip, SCIP_EXPR **expr, int nchildren, SCIP_EXPR **children, SCIP_Real *coefficients, SCIP_Real constant, SCIP_DECL_EXPR_OWNERCREATE((*ownercreate)), void *ownercreatedata)
void SCIPsetConstantExprSum (SCIP_EXPR *expr, SCIP_Real constant)
SCIP_RETCODE SCIPappendExprSumExpr (SCIP *scip, SCIP_EXPR *expr, SCIP_EXPR *child, SCIP_Real childcoef)
void SCIPmultiplyByConstantExprSum (SCIP_EXPR *expr, SCIP_Real constant)
SCIP_RETCODE SCIPmultiplyBySumExprSum (SCIP *scip, SCIP_EXPR **product, SCIP_EXPR *factor1, SCIP_EXPR *factor2, SCIP_Bool simplify, SCIP_DECL_EXPR_OWNERCREATE((*ownercreate)), void *ownercreatedata)
SCIP_RETCODE SCIPpowerExprSum (SCIP *scip, SCIP_EXPR **result, SCIP_EXPR *base, int exponent, SCIP_Bool simplify, SCIP_DECL_EXPR_OWNERCREATE((*ownercreate)), void *ownercreatedata)