Class Summary |
Absolute |
The absolute constraint X = |Y| is a binary constraint
with X = v0 and Y = v1 |
DistanceXYC |
|
DistanceXYZ |
A constraint to state |x0 - x1| operator x2 + c
where operator can be =, <=, >= and x1, x2, x3 are variables
Warning: only achieves BoundConsistency for the moment ! |
Element |
|
Element2D |
Ensure that lvals[v0][v1] = v2 where lvals is an int[][]
User: hcambaza
Date: 16-Jan-2007
Time: 18:54:33 |
ElementG |
|
ElementV |
A class implementing the constraint A[I] == X, with I and X being IntVars and A an array of IntVars |
ElementVG |
A class implementing the constraint A[I] == X, with I and X being IntVars and A an array of IntVars |
EqualXC |
Implements a constraint X = C, with X a variable and C a constant. |
EqualXY_C |
Implements a constraint X + Y == C, with X and Y two variables and C a constant. |
EqualXYC |
Implements a constraint X == Y + C, with X and Y two variables and C a constant. |
EuclideanDivisionXYZ |
|
GreaterOrEqualXC |
Implements a constraint X >= C, with X a variable and C a constant. |
GreaterOrEqualXY_C |
Implements a constraint X + Y >= C, with X and Y two variables and C a constant. |
GreaterOrEqualXYC |
Implements a constraint X >= Y + C, with X and Y two variables and C a constant. |
IncreasingSum |
A sum constraint with increasing variables
s = x_0 + x_1 + ... + x_(n-1)
and x_0 <= x_1 <= ... <= x_(n-1)
Bounds-consistency algorithm linear in n (the number of variables)
See "A O(n) Bound-Consistency Algorithm for the Increasing Sum Constraint",
T. |
IntLinComb |
Implements a constraint Sigma (ai Xi) <=/>=/= C,
with Xi variables, ai and C constants. |
InverseChanneling |
|
InverseChannelingWithinRange |
Created by IntelliJ IDEA. |
LessOrEqualXC |
Implements a constraint X <= C, with X a variable and C a constant. |
LessOrEqualXY_C |
Implements a constraint X + Y <= C , with X and Y two variables and C a constant. |
MaxOfAList |
Implements a constraint X = max(Y_0, Y_1...Y_n). |
MaxXYZ |
|
MemberBound |
User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 22 f�vr. 2010
Since : Choco 2.1.1 |
MemberEnum |
User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 22 f�vr. 2010
Since : Choco 2.1.1 |
MinOfAList |
Implements a constraint X = min(Y_0, Y_1...Y_n). |
MinXYZ |
|
ModuloXYC2 |
Created by IntelliJ IDEA. |
NotEqualXC |
Implements a constraint X ! |
NotEqualXY_C |
Implements a constraint X + Y ! |
NotEqualXYC |
Implements a constraint X ! |
NotMemberBound |
User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 22 f�vr. 2010
Since : Choco 2.1.1 |
NotMemberEnum |
User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 22 f�vr. 2010
Since : Choco 2.1.1 |
SignOp |
|
TimesXYZ |
a constraint modelling X * Y = Z
[BUG 3297805]: fix |