[ 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