[ library(ic_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