Default constraint handlers
Detailed Description
implementation files (.c files) of the default constraint handlers of SCIP
Files | |
file | cons_abspower.c |
some API functions of removed constraint handler for absolute power constraints \(\textrm{lhs} \leq \textrm{sign}(x+a) |x+a|^n + c z \leq \textrm{rhs}\) | |
file | cons_and.c |
Constraint handler for AND-constraints, \(r = x_1 \wedge x_2 \wedge \dots \wedge x_n\). | |
file | cons_benders.c |
constraint handler for Benders' decomposition | |
file | cons_benderslp.c |
constraint handler for benderslp decomposition | |
file | cons_bounddisjunction.c |
constraint handler for bound disjunction constraints \((x_1 \{\leq,\geq\} b_1) \vee \ldots \vee (x_n \{\leq,\geq\} b_n)\) | |
file | cons_cardinality.c |
constraint handler for cardinality constraints | |
file | cons_components.c |
constraint handler for handling independent components | |
file | cons_conjunction.c |
constraint handler for conjunction constraints | |
file | cons_countsols.c |
constraint handler for counting feasible solutions | |
file | cons_cumulative.c |
constraint handler for cumulative constraints | |
file | cons_disjunction.c |
constraint handler for disjunction constraints | |
file | cons_indicator.c |
constraint handler for indicator constraints | |
file | cons_integral.c |
constraint handler for the integrality constraint | |
file | cons_knapsack.c |
Constraint handler for knapsack constraints of the form \(a^T x \le b\), x binary and \(a \ge 0\). | |
file | cons_linear.c |
Constraint handler for linear constraints in their most general form, \(lhs <= a^T x <= rhs\). | |
file | cons_linking.c |
constraint handler for linking constraints | |
file | cons_logicor.c |
Constraint handler for logic or constraints \(1^T x \ge 1\) (equivalent to set covering, but algorithms are suited for depth first search). | |
file | cons_nonlinear.c |
constraint handler for nonlinear constraints specified by algebraic expressions | |
file | cons_or.c |
Constraint handler for "or" constraints, \(r = x_1 \vee x_2 \vee \dots \vee x_n\). | |
file | cons_orbisack.c |
constraint handler for orbisack constraints | |
file | cons_orbitope.c |
constraint handler for (partitioning/packing/full) orbitope constraints w.r.t. the full symmetric group | |
file | cons_pseudoboolean.c |
constraint handler for pseudo Boolean constraints | |
file | cons_quadratic.c |
some API functions of removed constraint handler for quadratic constraints \(\textrm{lhs} \leq \sum_{i,j} a_{i,j} x_i x_j + \sum_i b_i x_i \leq \textrm{rhs}\) | |
file | cons_setppc.c |
Constraint handler for the set partitioning / packing / covering constraints \(1^T x\ \{=, \le, \ge\}\ 1\). | |
file | cons_soc.c |
some API functions of removed 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.c |
constraint handler for SOS type 1 constraints | |
file | cons_sos2.c |
constraint handler for SOS type 2 constraints | |
file | cons_superindicator.c |
constraint handler for indicator constraints over arbitrary constraint types | |
file | cons_symresack.c |
constraint handler for symresack constraints | |
file | cons_varbound.c |
Constraint handler for variable bound constraints \(lhs \le x + c y \le rhs\). | |
file | cons_xor.c |
Constraint handler for "xor" constraints, \(rhs = x_1 \oplus x_2 \oplus \dots \oplus x_n\). | |