org.jacop.constraints
Classes
AbsXeqY
Alldiff
Alldifferent
Alldistinct
Among
AmongVar
And
AndBool
AndBoolSimple
AndBoolVector
ArgMax
ArgMin
Assignment
AtLeast
AtMost
BoolClause
ChannelImply
ChannelReif
Circuit
Conditional
Constraint
Count
CountBounds
CountValues
CountValuesBounds
CountVar
Cumulative
DecomposedConstraint
Decreasing
Diff
Diff2
Disjoint
DisjointConditional
Distance
Element
ElementInteger
ElementIntegerFast
ElementVariable
ElementVariableFast
Eq
EqBool
ExtensionalConflictVA
ExtensionalSupportMDD
ExtensionalSupportSTR
ExtensionalSupportVA
GCC
IfThen
IfThenBool
IfThenElse
Implies
In
Increasing
Lex
LexOrder
Linear
LinearInt
LinearIntDom
Max
MaxSimple
Member
Min
MinSimple
NoGood
Not
Or
OrBool
OrBoolSimple
OrBoolVector
PrimitiveConstraint
Profile
ProfileItem
Rectangle
Reified
Sequence
SoftAlldifferent
SoftGCC
Stretch
Subcircuit
Sum
SumBool
SumInt
SumWeight
SumWeightDom
ValuePrecede
Values
VariableTrace
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
Enums
ViolationMeasure