public class Lex extends DecomposedConstraint
Modifier and Type | Field and Description |
---|---|
boolean |
lexLT
Is the lex enforcing lower then relationship?
|
IntVar[][] |
x
A two dimensional array containing arrays which have to be lexicographically ordered.
|
queueIndex
Constructor and Description |
---|
Lex(IntVar[][] x)
It creates a lexicographical order for vectors x[i], i.e.
|
Lex(IntVar[][] x,
boolean lt) |
Modifier and Type | Method and Description |
---|---|
ArrayList<Constraint> |
decompose(Store store)
It returns an array list of constraint which are used to decompose this
constraint.
|
ArrayList<Constraint> |
decomposeLE(Store store) |
ArrayList<Constraint> |
decomposeLERegular(Store store) |
ArrayList<Constraint> |
decomposeLT(Store store) |
ArrayList<Constraint> |
decomposeLTRegular(Store store) |
void |
imposeDecomposition(Store store)
It imposes the constraint in a given store.
|
auxiliaryVariables, derivative, imposeDecomposition
public IntVar[][] x
public final boolean lexLT
public Lex(IntVar[][] x)
x
- vector of vectors which assignment is constrained by Lex constraint.public Lex(IntVar[][] x, boolean lt)
public void imposeDecomposition(Store store)
DecomposedConstraint
imposeDecomposition
in class DecomposedConstraint
store
- the constraint store to which the constraint is imposed to.public ArrayList<Constraint> decompose(Store store)
DecomposedConstraint
decompose
in class DecomposedConstraint
store
- the constraint store in which context the decomposition takes place.public ArrayList<Constraint> decomposeLERegular(Store store)
public ArrayList<Constraint> decomposeLTRegular(Store store)
public ArrayList<Constraint> decomposeLT(Store store)
public ArrayList<Constraint> decomposeLE(Store store)
Copyright © 2015. All rights reserved.