[ library(fd_global) | 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