Class  Description 

AbsXeqY 
Constraints X #= Y

Alldiff 
Alldiff constraint assures that all FDVs has different values.

Alldifferent 
Alldifferent constraint assures that all FDVs has differnet values.

Alldistinct 
Alldistinct constraint assures that all FDVs have different values.

Among 
Among constraint in its simplest form.

AmongVar 
Among constraint in its general form.

And 
Constraint c1 /\ c2 ...

AndBool 
AndBool constraint implements logic and operation on its arguments
and returns result.

AndBoolSimple 
If both a and b are equal 1 then result variable is equal 1 too.

AndBoolVector  
ArgMax 
ArgMax constraint provides the index of the maximum
variable from all variables on the list.

ArgMin 
ArgMin constraint provides the index of the maximum
variable from all variables on the list.

Assignment 
Assignment constraint implements facility to improve channeling constraints
between dual viewpoints of permutation models.

AtLeast  
AtMost  
BoolClause 
I defines a boolean clause for 0/1 variables x_i and y_i.

ChannelImply 
ChannelImply constraints "B => constraint".

ChannelReif 
ChannelReif constraints "constraint" <=> B.

Circuit 
Circuit constraint assures that all variables build a Hamiltonian
circuit.

Conditional 
Conditional constraint implements conditional constraint
satisfiability.

Constraint  
Count 
Count constraint implements the counting over number of occurrences of
a given value in a list of variables.

CountBounds 
CountBounds constraint implements the counting over number of occurrences of
a given value in a list of variables.

CountValues  
CountValuesBounds 
CountValuesBounds constraint implements the counting over numbers of occurrences of a given
vector of values in a list of variables.

CountVar  
Cumulative 
Cumulative implements the cumulative/4 constraint using edgefinding
algorithm and profile information on the resource use.

DecomposedConstraint<T extends Constraint> 
Standard unified interface/abstract class for constraints, which can only be decomposed.

Decreasing 
Decreasing constraint assures that all variables are in decreasing order.

Diff 
Diff constraint assures that any two rectangles from a vector of rectangles
does not overlap in at least one direction.

Diff2 
Diff2 constraint assures that any two rectangles from a vector of
rectangles does not overlap in at least one direction.

Disjoint 
Disjoint constraint assures that any two rectangles from a vector of
rectangles does not overlap in at least one direction.

DisjointConditional 
DisjointConditional constraint assures that any two rectangles from a vector
of rectangles does not overlap in at least one direction.

Distance 
Constraint X  Y #= Z

Element 
Element constraint implements the element/4 constraint (both with integer
list and variables list).

ElementInteger 
ElementInteger constraint defines a relation
list[index  indexOffset] = value.

ElementIntegerFast  
ElementVariable 
ElementVariable constraint defines a relation
list[index  indexOffset] = value.

ElementVariableFast  
Eq 
Constraint "constraint1"#<=> "constraint2"

EqBool 
If all x's are equal to each other then result variable is equal 1.

ExtensionalConflictVA 
Extensional constraint assures that none of the tuples explicitly given is enforced in the
relation.

ExtensionalSupportMDD 
Extensional constraint assures that one of the tuples is enforced in the
relation.

ExtensionalSupportSTR 
Extensional constraint assures that one of the tuples is enforced in the
relation.

ExtensionalSupportVA 
Extensional constraint assures that one of the tuples is enforced in the
relation.

GCC 
GCC constraint counts the number of occurences of given
values in x variables.

IfThen 
Constraint if constraint1 then constraint2

IfThenBool 
Constraint ( X => Y ) <=> Z.

IfThenElse 
Constraint if constraint1 then constraint2 else constraint3
*

Implies  
In 
Constraints X to belong to a specified domain.

Increasing 
Increasing constraint assures that all variables are in increasing order.

Lex 
It constructs a Lex (lexicographical order) constraint.

LexOrder 
It constructs a LexOrder (lexicographical order) constraint.

Linear  Deprecated
As of release 4.3.1 replaced by LinearInt constraint.

LinearInt  
LinearIntDom 
LinearIntDom constraint implements the weighted summation over several
variables.

Max 
Max constraint implements the Maximum/2 constraint.

MaxSimple 
MaxSimple constraint implements the Maximum/2 constraint.

Member 
Member constraint implements the membership of element e on list x.

Min 
Min constraint implements the minimum/2 constraint.

MinSimple 
MinSimple constraint implements the minimum/2 constraint.

NoGood 
NoGood constraints implements a constraint which disallows given combination
of values for given variables.

Not 
Constraint "not costraint"

Or 
Constraint c1 \/ c2 \/ ...

OrBool 
OrBool constraint implements logic and operation on its arguments
and returns result.

OrBoolSimple 
If at least one variable is equal 1 then result variable is equal 1 too.

OrBoolVector 
If at least one variable from the list is equal 1 then result variable is equal 1 too.

PrimitiveConstraint 
Standard unified interface for all primitive constraints.

Profile 
Defines a basic data structure to keep the profile for the diffn/1 and
cumulative/4 constraints.

ProfileItem 
Defines a basic structure used to update profile for cumulative constraint.

Rectangle 
Defines a rectangle used in the diffn constraint.

Reified  
Sequence 
It constructs a Sequence constraint.

SoftAlldifferent 
This class provides softalldifferent constraint by decomposing it
either into a network flow constraint or a set of primitive constraints.

SoftGCC 
This class provides softgcc constraint by decomposing it
either into a network flow constraint or a set of primitive constraints.

Stretch 
It constructs a Stretch constraint based on Regular constraint.

Subcircuit 
Subcircuit constraint assures that all variables build a
subcircuit.

Sum  
SumBool  
SumInt 
SumInt constraint implements the summation over several variables.

SumWeight  
SumWeightDom  Deprecated
As of release 4.3.1 replaced by LinearIntDom constraint.

ValuePrecede  
Values 
Constraint Values counts number of different values on a list of Variables.

VariableTrace 
VariableTrace is a daemon that prints information on variables whenever they are changed.

XdivYeqZ 
Constraint X div Y #= Z

XeqC  
XeqY 
Constraints X #= Y

XexpYeqZ 
Constraint X ^ Y #= Z

XgtC 
Constraint X > C

XgteqC 
Constraints X >= C

XgteqY 
Constraints X >= Y

XgtY 
Constraint X > Y

XltC 
Constraint X < C

XlteqC 
Constraint X <= C

XlteqY 
Constraint X <= Y

XltY 
Constraint X < Y

XmodYeqZ  
XmulCeqZ  
XmulYeqC 
Constraint X * Y #= C

XmulYeqZ  
XneqC  
XneqY 
Constraints X #\= Y

Xor 
Xor constraint  xor("constraint", B).

XorBool 
Constraint ( x_0 xor x_1 xor ...

XplusCeqZ 
Constraint X + C #= Z.

XplusClteqZ 
Constraints X + C<= Z.

XplusYeqC 
Constraint X + Y #= C

XplusYeqZ 
Constraint X + Y = Z

XplusYgtC 
Constraint X + Y> C

XplusYlteqZ 
Constraint X + Y=< Z

Enum  Description 

ViolationMeasure 
Copyright © 2022. All rights reserved.