[ library(fd_global) | Reference Manual | Alphabetic Index ]
lex_lt(+List1, +List2)
List1 is lexicographically less than List2
- List1
- List of integers or domain variables
- List2
- List of integers or domain variables
Description
Imposes a lexicographic ordering between the two lists.
I.e. either is the first element of List1 strictly smaller
than the first element of List2, or the first elements are
equal and the lexicographic order holds between the two list
tails. A non-existing element (i.e. when the end of list is
reached) is strictly smaller than any existing element.
See Also
ordered / 2, gfd : lex_lt / 2, ic_global : lex_lt / 2, fd_global_gac : lex_lt / 2, ic_global_gac : lex_lt / 2, lex_le / 2