public class Sequence extends DecomposedConstraint
queueIndex
Constructor and Description |
---|
Sequence(IntVar[] list,
IntervalDomain set,
int q,
int min,
int max)
It creates a Sequence constraint.
|
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.
|
void |
imposeDecomposition(Store store)
It imposes the constraint in a given store.
|
auxiliaryVariables, derivative, imposeDecomposition
public Sequence(IntVar[] list, IntervalDomain set, int q, int min, int max)
list
- variables which assignment is constrained by Sequence constraint.set
- set of values which occurrence is counted within each sequence.q
- the length of the sequencemin
- the minimal occurrences of values from set within a sequence.max
- the maximal occurrences of values from set within a sequence.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.Copyright © 2015. All rights reserved.