[ library(gfd) | Reference Manual | Alphabetic Index ]

# <ConsistencyModule:> sequence(+Low,+High,+K,+Vars,++Values)

The number of values taken from Values is between Low and High for all sequences of K variables in Vars.

Low
  Non-negative integer
High
  Positive integer
K
  Positive integer
Vars
  A collection of (domain) variables or integers
Values
  A collection of (different) integers

## Description

This constraint ensures that the number of values taken from the set specified in Values is at least Low and at most High for all sequences of K consecutive variables/values in Vars.

ConsistencyModule is the optional module specification to give the consistency level for the propagation for this constraint: gfd_gac for generalised arc consistency (domain consistency).

This constraint is known as among_seq in the global constraint catalog, and is implemented using Gecode's sequence() constraint.

## Examples

    [eclipse 22]: sequence(1,2,4,[9,2,4,5,5,7,2], [0,2,4,6,8]). % Succeed

## See Also

sequence / 4, fd_global_gac : sequence / 5, ic_global_gac : sequence / 5