Scippy

    SCIP

    Solving Constraint Integer Programs

    Functions
    cons_exactlinear.h File Reference
    Public API of SCIP » Plugin API of SCIP » Constraint Handlers

    Detailed Description

    Constraint handler for linear constraints in their most general form, \(lhs <= a^T x <= rhs\).

    Author
    Leon Eifler

    Definition in file cons_exactlinear.h.

    #include "scip/def.h"
    #include "scip/intervalarith.h"
    #include "scip/type_cons.h"
    #include "scip/type_lp.h"
    #include "scip/type_lpexact.h"
    #include "scip/type_misc.h"
    #include "scip/type_retcode.h"
    #include "scip/type_scip.h"
    #include "scip/type_sol.h"
    #include "scip/type_var.h"
    #include "scip/type_certificate.h"
    #include "scip/type_rational.h"

    Go to the source code of this file.

    Functions

    SCIP_RETCODE SCIPincludeConshdlrExactLinear (SCIP *scip)
     
    Exact Linear Constraints

    This constraint handler handles linear constraints in their most general form

    \[ lhs \leq \sum_{i=1}^n a_i x_i \leq rhs \]

    in a numerically exact way, where \(a_i \in Q, i = 1,\dots,n\), \(lhs\in Q \cup \{-\infty\}\), \(rhs\in Q \cup \{\infty\}\), and \(x_i, i = 1,\dots,n\) which can be binary, integer, or continuous decision variables.

    SCIP_RETCODE SCIPcreateConsExactLinear (SCIP *scip, SCIP_CONS **cons, const char *name, int nvars, SCIP_VAR **vars, SCIP_RATIONAL **vals, SCIP_RATIONAL *lhs, SCIP_RATIONAL *rhs, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool dynamic, SCIP_Bool removable, SCIP_Bool stickingatnode)
     
    SCIP_RETCODE SCIPcreateConsBasicExactLinear (SCIP *scip, SCIP_CONS **cons, const char *name, int nvars, SCIP_VAR **vars, SCIP_RATIONAL **vals, SCIP_RATIONAL *lhs, SCIP_RATIONAL *rhs)
     
    SCIP_RETCODE SCIPcopyConsExactLinear (SCIP *scip, SCIP_CONS **cons, SCIP *sourcescip, const char *name, int nvars, SCIP_VAR **sourcevars, SCIP_INTERVAL *sourcecoefs, SCIP_Real lhs, SCIP_Real rhs, SCIP_HASHMAP *varmap, SCIP_HASHMAP *consmap, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool dynamic, SCIP_Bool removable, SCIP_Bool stickingatnode, SCIP_Bool global, SCIP_Bool *valid)
     
    SCIP_RETCODE SCIPaddCoefExactLinear (SCIP *scip, SCIP_CONS *cons, SCIP_VAR *var, SCIP_RATIONAL *val)
     
    SCIP_RETCODE SCIPchgCoefExactLinear (SCIP *scip, SCIP_CONS *cons, SCIP_VAR *var, SCIP_RATIONAL *val)
     
    SCIP_RETCODE SCIPdelCoefExactLinear (SCIP *scip, SCIP_CONS *cons, SCIP_VAR *var)
     
    SCIP_RATIONAL * SCIPgetLhsExactLinear (SCIP *scip, SCIP_CONS *cons)
     
    SCIP_RATIONAL * SCIPgetRhsExactLinear (SCIP *scip, SCIP_CONS *cons)
     
    SCIP_RETCODE SCIPchgLhsExactLinear (SCIP *scip, SCIP_CONS *cons, SCIP_RATIONAL *lhs)
     
    SCIP_RETCODE SCIPchgRhsExactLinear (SCIP *scip, SCIP_CONS *cons, SCIP_RATIONAL *rhs)
     
    int SCIPgetNVarsExactLinear (SCIP *scip, SCIP_CONS *cons)
     
    SCIP_VAR ** SCIPgetVarsExactLinear (SCIP *scip, SCIP_CONS *cons)
     
    SCIP_INTERVAL * SCIPgetValsRealExactLinear (SCIP *scip, SCIP_CONS *cons)
     
    SCIP_RATIONAL ** SCIPgetValsExactLinear (SCIP *scip, SCIP_CONS *cons)
     
    SCIP_RETCODE SCIPgetActivityExactLinear (SCIP *scip, SCIP_CONS *cons, SCIP_SOL *sol, SCIP_RATIONAL *ret)
     
    SCIP_RETCODE SCIPgetFeasibilityExactLinear (SCIP *scip, SCIP_CONS *cons, SCIP_SOL *sol, SCIP_RATIONAL *ret)
     
    void SCIPgetFpDualsolExactLinear (SCIP *scip, SCIP_CONS *cons, SCIP_RATIONAL *ret)
     
    void SCIPgetFpDualfarkasExactLinear (SCIP *scip, SCIP_CONS *cons, SCIP_RATIONAL *ret)
     
    SCIP_ROW * SCIPgetRowExactLinear (SCIP *scip, SCIP_CONS *cons)
     
    SCIP_ROWEXACT * SCIPgetRowExactExactLinear (SCIP *scip, SCIP_CONS *cons)
     
    SCIP_RETCODE SCIPcertifyConsOrigExactLinear (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_CONS *cons)