Detailed Description

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

Author: Leon Eifler

#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)

SCIP

Detailed Description

Functions