SCIP Doxygen Documentation: Constraint Handler

All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages

Detailed Description

This page contains a list of all constraint handlers which are currently available.

A detailed description what a constraint handler does and how to add a constraint handler to SCIP can be found here.

Files
file	cons_abspower.h
	Constraint handler for absolute power constraints $\textrm{lhs} \leq \textrm{sign}(x+a) \|x+a\|^n + c z \leq \textrm{rhs}$ .

file	cons_and.h
	Constraint handler for "and" constraints, $r = x_1 \wedge x_2 \wedge \dots \wedge x_n$ .

file	cons_bivariate.h
	constraint handler for bivariate nonlinear constraints $\textrm{lhs} \leq f(x,y) + c z \leq \textrm{rhs}$

file	cons_bounddisjunction.h
	constraint handler for bound disjunction constraints $(x_1 \{\leq,\geq\} b_1) \vee \ldots \vee (x_n \{\leq,\geq\} b_n)$

file	cons_conjunction.h
	constraint handler for conjunction constraints

file	cons_countsols.h
	Constraint handler for counting feasible solutions.

file	cons_cumulative.h
	constraint handler for cumulative constraints

file	cons_disjunction.h
	constraint handler for disjunction constraints

file	cons_indicator.h
	constraint handler for indicator constraints

file	cons_integral.h
	constraint handler for the integrality constraint

file	cons_knapsack.h
	Constraint handler for knapsack constraints of the form $a^T x \le b$ , x binary and $a \ge 0$ .

file	cons_linear.h
	Constraint handler for linear constraints in their most general form, .

file	cons_linking.h
	constraint handler for linking binary variables to an integer variable

file	cons_logicor.h
	Constraint handler for logicor constraints $1^T x \ge 1$ (equivalent to set covering, but algorithms are suited for depth first search).

file	cons_nonlinear.h
	constraint handler for nonlinear constraints $\textrm{lhs} \leq \sum_{i=1}^n a_ix_i + \sum_{j=1}^m c_jf_j(x) \leq \textrm{rhs}$

file	cons_or.h
	Constraint handler for "or" constraints, $r = x_1 \vee x_2 \vee \dots \vee x_n$ .

file	cons_orbitope.h
	constraint handler for (partitioning/packing) orbitope constraints w.r.t. the full symmetric group

file	cons_pseudoboolean.h
	constraint handler for pseudoboolean constraints

file	cons_quadratic.h
	constraint handler for quadratic constraints $\textrm{lhs} \leq \sum_{i,j=1}^n a_{i,j} x_ix_j + \sum_{i=1}^n b_i x_i \leq \textrm{rhs}$

file	cons_setppc.h
	Constraint handler for the set partitioning / packing / covering constraints $1^T x\ \{=, \le, \ge\}\ 1$ .

file	cons_soc.h
	constraint handler for second order cone constraints $\sqrt{\gamma + \sum_{i=1}^{n} (\alpha_i\, (x_i + \beta_i))^2} \leq \alpha_{n+1}\, (x_{n+1}+\beta_{n+1})$

file	cons_sos1.h
	constraint handler for SOS type 1 constraints

file	cons_sos2.h
	constraint handler for SOS type 2 constraints

file	cons_superindicator.h
	constraint handler for indicator constraints over arbitrary constraint types

file	cons_varbound.h
	Constraint handler for variable bound constraints $lhs \leq x + c y \leq rhs$ .

file	cons_xor.h
	Constraint handler for "xor" constraints, $rhs = x_1 \oplus x_2 \oplus \dots \oplus x_n$ .