Package choco.integer.constraints

A package devoted to constraints over integers.

See:
Description

Class Summary

AbstractBinIntConstraint	An abstract class for all implementations of (binary) constraints over two search variable.
AbstractIntConstraint	An abstract class for all implementations of listeners over search variables.
AbstractLargeIntConstraint	An abstract class for all implementations of listeners over many search variables.
AbstractTernIntConstraint	An abstract class for all implementations of (unary) listeners over one search variable.
AbstractUnIntConstraint	An abstract class for all implementations of (unary) listeners over one search variable.
BooleanChanneling	a simple channeling constraint : y_ij = 1 si x_i = j y_ij = 0 sinon
Element
ElementV	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.
EqualXYC	Implements a constraint X == Y + C, with X and Y two variables and C a constant.
GreaterOrEqualXC	Implements a constraint X >= C, with X a variable and C a constant.
GreaterOrEqualXYC	Implements a constraint X > Y + C, with X and Y two variables and C a constant.
IntLinComb	Implements a constraint Sigma (ai Xi) <=/>=/= C, with Xi variables, ai and C constants.
InverseChanneling
LessOrEqualXC	Implements a constraint X <= C, with X a variable and C a constant.
NotEqualXC	Implements a constraint X <= C, with X a variable and C a constant.
NotEqualXYC	Implements a constraint X !
TimesXYZ	a constraint modelling X * Y = Z

Package choco.integer.constraints Description

A package devoted to constraints over integers.