[ library(ic_global) | Reference Manual | Alphabetic Index ]

ordered(++Relation, +List)

Constrains List to be ordered according to Relation
Relation
One of the atoms <, =<, >, >=, =
List
Collection of integers or domain variables

See Also

lex_le / 2, ordered_sum / 2, sorted / 2, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2