public class Sequence extends DecomposedConstraint<Constraint>
|Constructor and Description|
It creates a Sequence constraint.
|Modifier and Type||Method and Description|
It returns an array list of constraint which are used to decompose this constraint.
Preferred and default option of decomposing Sequence constraint.
It imposes the constraint in a given store.
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, 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 sequence
min- 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)
store- the constraint store to which the constraint is imposed to.
public static List<Constraint> decomposeByRegular(Sequence sequence)
sequence- sequence constraint to be decomposed by regular.
public List<Constraint> decompose(Store store)
store- the constraint store in which context the decomposition takes place.
Copyright © 2022. All rights reserved.