| #/\/2 | P and
Q hold. |
| #</2 | X is
less than Y. |
| #<==/2 | Q
implies P. |
| #<==>/2 | P
and Q are equivalent. |
| #=/2 | X equals
Y. |
| #=</2 | X
is less than or equal to Y. |
| #==>/2 | P
implies Q. |
| #>/2 | X is
greater than Y. |
| #>=/2 | X
is greater than or equal to Y. |
| #\/1 | The
reifiable constraint Q does _not_ hold. |
| #\//2 | P or Q
holds. |
| #\=/2 | X is
not Y. |
| all_different/1 | Vars
are pairwise distinct. |
| all_distinct/1 | Like
all_different/1, with stronger propagation. |
| automaton/3 | Constrain
variables with a finite automaton. |
| automaton/8 | Constrain
variables with a finite automaton. |
| chain/2 | Constrain
variables to be a chain with respect to Relation. |
| circuit/1 | True
if the list Vs of finite domain variables induces a Hamiltonian circuit. |
| cumulative/1 | Equivalent
to cumulative(Tasks, [limit(1)]). |
| cumulative/2 | Tasks
is a list of tasks, each of the form task(S_i, D_i, E_i, C_i, T_i). |
| element/3 | The
N-th element of the list of finite domain variables Vs is V. |
| fd_dom/2 | Dom
is the current domain (see in/2) of Var. |
| fd_inf/2 | Inf
is the infimum of the current domain of Var. |
| fd_size/2 | Determine
the size of a variable's domain. |
| fd_sup/2 | Sup
is the supremum of the current domain of Var. |
| fd_var/1 | True
iff Var is a CLP(FD) variable. |
| global_cardinality/2 | Global
Cardinality constraint. |
| global_cardinality/3 | Global
Cardinality constraint. |
| in/2 | Var is
an element of Domain. |
| indomain/1 | Bind
Var to all feasible values of its domain on backtracking. |
| ins/2 | The
variables in the list Vars are elements of Domain. |
| label/1 | Equivalent
to labeling([], Vars). |
| labeling/2 | Assign
a value to each variable in Vars. |
| lex_chain/1 | Lists
are lexicographically non-decreasing. |
| scalar_product/4 | Cs
is a list of integers, Vs is a list of variables and integers. |
| serialized/2 | Constrain
a set of intervals to a non-overlapping sequence. |
| sum/3 | The
sum of elements of the list Vars is in relation Rel to Expr. |
| transpose/2 | Transpose
a list of lists of the same length. |
| tuples_in/2 | Relation
must be a list of lists of integers. |
| zcompare/3 | Analogous
to compare/3, with finite domain variables A and B. |
