[ ECLiPSe Finite Domain built-in (ElipSys compatibility).|Group Index|
Full 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.
Exceptions
Examples
See Also
contigs / 5