org.jacop.constraints
Classes
AbsXeqY
Alldiff
Alldifferent
Alldistinct
Among
AmongVar
And
AndBool
Assignment
Circuit
Constraint
Count
Cumulative
DecomposedConstraint
Diff
Diff2
Disjoint
DisjointConditional
Distance
Element
ElementInteger
ElementVariable
Eq
EqBool
ExtensionalConflictVA
ExtensionalSupportMDD
ExtensionalSupportSTR
ExtensionalSupportVA
GCC
IfThen
IfThenBool
IfThenElse
In
Lex
LexOrder
Linear
Max
Min
NoGood
Not
Or
OrBool
PrimitiveConstraint
Profile
ProfileItem
Rectangle
Reified
Sequence
SoftAlldifferent
SoftGCC
Stretch
Subcircuit
Sum
SumWeight
SumWeightDom
Values
XdivYeqZ
XeqC
XeqY
XexpYeqZ
XgtC
XgteqC
XgteqY
XgtY
XltC
XlteqC
XlteqY
XltY
XmodYeqZ
XmulCeqZ
XmulYeqC
XmulYeqZ
XneqC
XneqY
Xor
XorBool
XplusCeqZ
XplusClteqZ
XplusYeqC
XplusYeqZ
XplusYgtC
XplusYlteqZ
XplusYplusCeqZ
XplusYplusQeqZ
XplusYplusQgtC
Enums
ViolationMeasure