
<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.

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

Type
   library(gfd)

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
