[ library(fd) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
sequence(+List, +Item, ?MaxLength, ?Occurrences)
MaxLength is the longest sequence of Item occurring in List and Occurrences
is the total number of occurrences of Item in List.
- +List
- A list of finite domain variables or integers
- +Item
- An integer
- ?MaxLength
- An integer finite domain variable or an integer.
- ?Occurrences
- An integer finite domain variable or an integer.
Description
The constraint is satisfied when MaxLength is the longest sequence of
Item occurring in List and Occurrences is the total number of
occurrences of Item in List.
Fail Conditions
None.
Resatisfiable
No.
See Also
contigs / 5