[ 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