[ library(fd_global) | Reference Manual | Alphabetic Index ]
# 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
*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

## 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, fd : element / 3, fd_global_gac : sequence / 4, fd_global_gac : sequence / 5