[ library(fd_global) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
ordered(++Relation, +List)
Constrains List to be ordered according to Relation
- Relation
- One of the atoms <, =<, >, >=, =
- List
- List of integers or domain variables
See Also
lexico_le / 2, ordered_sum / 2, sorted / 2