Constraints
Constraints represent logical restrictions on the values that decision variables can simultaneously take and that must be satisfied. There are various types of constraints that can be stated within Xpress Kalis:
- Linear constraint (equation, inequality, disequality), e.g.: x ≠ y, x = y, x ≤ y etc.
- Non-linear constraint (equation, inequality), e.g.: x = y / z, x * y + 2 * ln(z) = exp(w), x^2 + y^2 ≤ z^2 etc.
- Symbolic constraint, e.g.: all-different(x,y,z) meaning (x ≠ y) ∧ (x ≠ z) ∧ (x ≠ z)
- Logical relation, e.g.: x ≠ y ⇒ z = 3
- User-defined constraints such as generic_binary_constraint(x,y)
All constraints are represented by the type cpctr.
| abs |
Absolute value constraint
|
| all_different |
All different constraint
|
| and |
Conjunction composite constraint
|
| cplinctr |
Linear constraints
|
| cpnlinctr |
Non-linear constraints
|
| cumulative |
Cumulative constraint
|
| cycle |
Cycle constraint
|
| disjunctive |
Disjunctive constraint
|
| distance |
Distance constraint
|
| distribute |
Distribute constraint with fixed bounds
|
| element |
Element constraint
|
| equiv |
Equivalence composite constraint
|
| exp |
Exponential of a non-linear expression
|
| generic_binary_constraint |
Generic Binary constraint
|
| generic_nary_constraint |
Generic nary constraint
|
| implies |
Implication composite constraint
|
| ln |
Natural logarithm of a non-linear expression
|
| maximum_minimum |
Maximum/minimum constraint
|
| occurrence |
Occurrence constraint
|
| or |
Disjunction composite constraint
|
| producer_consumer |
Producer Consumer constraint
|
© 2001-2019 Fair Isaac Corporation. All rights reserved. This documentation is the property of Fair Isaac Corporation (“FICO”). Receipt or possession of this documentation does not convey rights to disclose, reproduce, make derivative works, use, or allow others to use it except solely for internal evaluation purposes to determine whether to purchase a license to the software described in this documentation, or as otherwise set forth in a written software license agreement between you and FICO (or a FICO affiliate). Use of this documentation and the software described in it must conform strictly to the foregoing permitted uses, and no other use is permitted.