[ Reference Manual | Alphabetic Index ]

library(fd_global)

Various global constraints over lists of FD variables

Predicates

alldifferent(+Vars)
All members of Vars are different
alldifferent(+Vars, ++Capacity)
Vars contains at most Capacity elements of each value
atmost(+N, ?Vars, +V)
At most N elements of Vars have the value V.
lexico_le(+List1, +List2)
List1 is lexicographically less or equal to List2
maxlist(+List, ?Max)
Max is the maximum of the values in List
minlist(+List, ?Min)
Min is the minimum of the values in List
occurrences(++Value, +Vars, ?N)
The value Value occurs in Vars N times
ordered(++Relation, +List)
Constrains List to be ordered according to Relation
ordered_sum(+List, ?Sum)
The list elements are ordered and their sum is Sum
sorted(?List, ?Sorted)
Sorted is a sorted permutation of List
sorted(?List, ?Sorted, ?Positions)
Sorted is a sorted permutation (described by Positions) of List
sum_ge_zero(?)
No description available
sumlist(+List, ?Sum)
The sum of the list elements is Sum
tr_global_out(?, ?)
No description available

Other Exports

export portray(atmost1 / 3, tr_global_out / 2, [goal])
export portray(occurrences / 5, tr_global_out / 2, [goal])

About


Generated from fd_global.eci on 2009-02-24 09:44