[ library(ic_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, ic : element / 3, ic_global_gac : sequence / 4, ic_global_gac : sequence / 5