
sorted(?List, ?Sorted)

   Sorted is a sorted permutation of List

Arguments
   List                List of domain variables or integers
   Sorted              List of domain variables or integers

Type
   library(fd_global)

Description
    Declaratively: The two lists have the same length and Sorted is a
    sorted permutation of List.

    Operationally:  the elements in both lists are constrained such
    that their domains are consistent with the assumption that the
    list Sorted is the sorted version of the list List.

    One of the two arguments can be uninstantiated or partial lists
    at call time.
    

Examples
   
    ?- length(Xs,4), Xs::0..100, sorted(Xs,Ys), Xs = [8,20|_].

    Xs = [8, 20, _340{[0..100]}, _353{[0..100]}]
    Ys = [_431{[0..8]}, _413{[0..20]}, _523{[8..100]}, _621{[20..100]}]


    ?- length(Ys,4), Ys::0..100, sorted(Xs,Ys), Ys = [8,20|_].

    Xs = [_464{[8..100]}, _477{[8..100]}, _490{[8..100]}, _503{[8..100]}]
    Ys = [8, 20, _340{[20..100]}, _353{[20..100]}]
    

See Also
   sorted / 3, ordered / 2
