Scippy

    SCIP

    Solving Constraint Integer Programs

    Functions
    expr_sum.h File Reference
    Public API of SCIP » Plugin API of SCIP » Expression Handlers

    Detailed Description

    sum expression handler

    Author
    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.

    Functions

    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)