
sequence_total(+Min, +Max, +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, and the total occurrence of each value in Vars is between Min and Max

Arguments
   Min                 Non-negative integer
   Max                 Positive integer
   Low                 Non-negative integer
   High                Positive integer
   K                   Postive integer
   Vars                A list of variables or integers
   Values              A list of (different) integers

Type
   library(ic_global)

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, and at least Min and at most
    Max in total for all Vars.

    This is currently a prototype -- the constraint has not been tested
    very extensively and little effort has been spent to optimise performance.
    We welcome any feedback on using this constraint.



See Also
   sequence_total / 6, ic : element / 3, ic_global_gac : sequence / 4, ic_global_gac : sequence / 5
