[ library(fd) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
contigs(+List, +Item, ?MaxLength, ?Occurrences, ?Contigs)
MaxLength is the longest sequence of Item occurring in List, Occurrences is
the total number of occurrences of Item in List and Contigs is the number
of sequences 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.
- ?Contigs
- An integer finite domain variable or an integer.
Description
The constraint is satisfied when MaxLength is the longest sequence of
Item occurring in List, Occurrences is the total number of occurrences
of Item in List and Contigs is the number of all uninterrupted sequences
of Item in List.
Fail Conditions
None.
Resatisfiable
No.
See Also
sequence / 4