
ordered(++Relation, +List)

   Constrains List to be ordered according to Relation

Arguments
   Relation            One of the atoms <, =<, >, >=, =
   List                Collection of integers or domain variables

Type
   library(fd_global)

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