Package choco.cp.solver.constraints.integer

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
 



Copyright © 2012. All Rights Reserved.