Package org.jacop.constraints
Class Lex
It constructs a Lex (lexicographical order) constraint.
- Version:
- 4.9
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) List
<Constraint> It contains constraints of the lex constraint decomposition.final boolean
Is the lex enforcing lower then relationship?IntVar[][]
A two dimensional array containing arrays which have to be lexicographically ordered.Fields inherited from class org.jacop.constraints.DecomposedConstraint
queueIndex
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionIt returns an array list of constraint which are used to decompose this constraint.decomposeLE
(Store store) decomposeLERegular
(Store store) decomposeLT
(Store store) decomposeLTRegular
(Store store) void
imposeDecomposition
(Store store) It imposes the constraint in a given store.Methods inherited from class org.jacop.constraints.DecomposedConstraint
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition
-
Field Details
-
x
A two dimensional array containing arrays which have to be lexicographically ordered. -
constraints
List<Constraint> constraintsIt contains constraints of the lex constraint decomposition. -
lexLT
public final boolean lexLTIs the lex enforcing lower then relationship?
-
-
Constructor Details
-
Lex
It creates a lexicographical order for vectors x[i], i.e. forall i, exists j : x[i][k] = x[i+1][k] for k < j and x[i][k] <= x[i+1][k] for k >= jvectors x[i] does not need to be of the same size. boolea lt defines if we require Lex_{<} (lt = false) or Lex_{=<} (lt = true)
- Parameters:
x
- vector of vectors which assignment is constrained by Lex constraint.
-
Lex
-
-
Method Details
-
imposeDecomposition
Description copied from class:DecomposedConstraint
It imposes the constraint in a given store.- Specified by:
imposeDecomposition
in classDecomposedConstraint<Constraint>
- Parameters:
store
- the constraint store to which the constraint is imposed to.
-
decompose
Description copied from class:DecomposedConstraint
It returns an array list of constraint which are used to decompose this constraint. It actually creates a decomposition (possibly also creating variables), but it does not impose the constraint.- Specified by:
decompose
in classDecomposedConstraint<Constraint>
- Parameters:
store
- the constraint store in which context the decomposition takes place.- Returns:
- an array list of constraints used to decompose this constraint.
-
decomposeLERegular
-
decomposeLTRegular
-
decomposeLT
-
decomposeLE
-