Constraint | ic | fd | gfd | Global Constraint Catalog |
---|---|---|---|---|
# / 3 | fd 1 | |||
## / 2 | fd 1 | |||
## / 3 | fd 1 | |||
#/\ / 2 | fd 1 | |||
#/\ / 3 | fd 1 | |||
#:: / 2 | ic 1 | fd 1 | gfd 1 | |
#:: / 3 | ic 1 | fd 1 | gfd 1 | |
#< / 2 | ic 1 | fd 1 | gfd 1 | lt |
#< / 3 | ic 1 | fd 1 | gfd 1 | |
#<= / 2 | fd 1 | |||
#<= / 3 | fd 1 | |||
#<=> / 2 | fd 1 | |||
#<=> / 3 | fd 1 | |||
#= / 2 | ic 1 | fd 1 | gfd 1 | eq |
#= / 3 | ic 1 | fd 1 | gfd 1 | |
#=< / 2 | ic 1 | gfd 1 | leq | |
#=< / 3 | ic 1 | gfd 1 | ||
#=> / 2 | fd 1 | |||
#=> / 3 | fd 1 | |||
#> / 2 | ic 1 | fd 1 | gfd 1 | gt |
#> / 3 | ic 1 | fd 1 | gfd 1 | |
#>= / 2 | ic 1 | fd 1 | gfd 1 | geq |
#>= / 3 | ic 1 | fd 1 | gfd 1 | |
#\+ / 1 | fd 1 | |||
#\+ / 2 | fd 1 | |||
#\/ / 2 | fd 1 | |||
#\/ / 3 | fd 1 | |||
#\= / 2 | ic 1 | fd 1 | gfd 1 | neq |
#\= / 3 | ic 1 | fd 1 | gfd 1 | |
$:: / 2 | ic 1 | |||
$:: / 3 | ic 1 | |||
$< / 2 | ic 1 | |||
$< / 3 | ic 1 | |||
$= / 2 | ic 1 | |||
$= / 3 | ic 1 | |||
$=< / 2 | ic 1 | |||
$=< / 3 | ic 1 | |||
$> / 2 | ic 1 | |||
$> / 3 | ic 1 | |||
$>= / 2 | ic 1 | |||
$>= / 3 | ic 1 | |||
$\= / 2 | ic 1 | |||
$\= / 3 | ic 1 | |||
:: / 2 | ic 1 | fd 1 | gfd 1 | |
:: / 3 | ic 1 | fd 1 | gfd 1 | |
< / 2 | ic 1 | |||
<=> / 2 | ic 1 | gfd 1 | ||
<=> / 3 | ic 1 | gfd 1 | equivalent | |
=:= / 2 | ic 1 | |||
=< / 2 | ic 1 | |||
=> / 2 | ic 1 | gfd 1 | ||
=> / 3 | ic 1 | gfd 1 | imply | |
=\= / 2 | ic 1 | |||
> / 2 | ic 1 | |||
>= / 2 | ic 1 | |||
ac_eq / 3 | ic 1 | |||
all_eq / 2 | gfd 1 | arith | ||
all_ge / 2 | gfd 1 | arith | ||
all_gt / 2 | gfd 1 | arith | ||
all_le / 2 | gfd 1 | arith | ||
all_lt / 2 | gfd 1 | arith | ||
all_ne / 2 | gfd 1 | arith | ||
alldifferent / 1 | ic 1 2 3 | fd 1 2 3 | gfd 1 | alldifferent |
alldifferent / 2 | ic 1 | fd 1 | ||
alldifferent_cst / 2 | ic 1 | gfd 1 | alldifferent_cst | |
alldifferent_matrix / 1 | ic 1 | fd 1 | ||
alldistinct / 1 | fd 1 | |||
among / 4 | gfd 1 | counts | ||
and / 2 | ic 1 | gfd 1 | ||
and / 3 | ic 1 | gfd 1 | and | |
atleast / 3 | ic 1 | fd 1 | gfd 1 | atleast |
atmost / 3 | ic 1 | fd 1 2 | gfd 1 | atmost |
bin_packing / 3 | ic 1 | fd 1 | gfd 1 | bin_packing_capa |
bin_packing / 4 | ic 1 | fd 1 | gfd 1 | bin_packing |
bin_packing_g / 3 | gfd 1 | bin_packing | ||
bin_packing_md / 3 | gfd 1 | |||
bin_packing_md / 4 | gfd 1 | |||
bool_channeling / 3 | ic 1 | fd 1 | gfd 1 | domain_constraint |
circuit / 1 | ic 1 | gfd 1 | circuit | |
circuit / 3 | gfd 1 | |||
circuit / 4 | gfd 1 | |||
circuit_g / 1 | gfd 1 | circuit | ||
circuit_g / 3 | gfd 1 | |||
circuit_g / 4 | gfd 1 | |||
circuit_offset / 2 | gfd 1 | |||
circuit_offset / 4 | gfd 1 | |||
circuit_offset / 5 | gfd 1 | |||
circuit_offset_g / 2 | gfd 1 | |||
circuit_offset_g / 4 | gfd 1 | |||
circuit_offset_g / 5 | gfd 1 | |||
count / 4 | gfd 1 | count | ||
count_matches / 4 | gfd 1 | |||
cumulative / 4 | ic 1 2 3 | fd 1 2 3 | gfd 1 | cumulative |
cumulative / 5 | ic 1 2 | fd 1 2 | ||
cumulative_optional / 5 | gfd 1 | |||
cumulatives / 5 | gfd 1 | cumulatives | ||
cumulatives_g / 5 | gfd 1 | cumulatives | ||
cumulatives_min / 5 | gfd 1 | cumulatives | ||
cumulatives_min_g / 5 | gfd 1 | cumulatives | ||
disjoint2 / 1 | gfd 1 | diffn | ||
disjoint2_optional / 1 | gfd 1 | |||
disjunction / 5 | fd 1 | |||
disjunction_choose / 5 | fd 1 | |||
disjunctive / 2 | ic 1 2 | fd 1 2 | gfd 1 | disjunctive |
disjunctive / 3 | fd 1 | |||
disjunctive_bools / 3 | ic 1 2 | fd 1 2 | ||
disjunctive_optional / 3 | gfd 1 | |||
divmod / 4 | gfd 1 | |||
element / 3 | ic 1 | fd 1 | gfd 1 | element |
element_g / 3 | gfd 1 | element | ||
extensional / 4 | gfd 1 | |||
gcc / 2 | ic 1 | fd 1 | gfd 1 | global_cardinality global_cardinality_low_up |
gcc_matrix / 3 | ic 1 | fd 1 | ||
ham_path / 3 | gfd 1 | |||
ham_path / 5 | gfd 1 | |||
ham_path / 6 | gfd 1 | |||
ham_path_g / 3 | gfd 1 | |||
ham_path_g / 5 | gfd 1 | |||
ham_path_g / 6 | gfd 1 | |||
ham_path_offset / 4 | gfd 1 | |||
ham_path_offset / 6 | gfd 1 | |||
ham_path_offset / 7 | gfd 1 | |||
ham_path_offset_g / 4 | gfd 1 | |||
ham_path_offset_g / 6 | gfd 1 | |||
ham_path_offset_g / 7 | gfd 1 | |||
integers / 1 | ic 1 | fd 1 | gfd 1 | |
inverse / 2 | ic 1 2 | fd 1 2 | gfd 1 | inverse |
inverse / 4 | gfd 1 | inverse_offset | ||
inverse_g / 2 | gfd 1 | inverse | ||
inverse_g / 4 | gfd 1 | inverse_offset | ||
isd / 2 | fd 1 | |||
lex_eq / 2 | gfd 1 | lex_equal | ||
lex_ge / 2 | gfd 1 | lex_greatereq | ||
lex_gt / 2 | gfd 1 | lex_greater | ||
lex_le / 2 | ic 1 2 | fd 1 2 | gfd 1 | lex_leq |
lex_lt / 2 | ic 1 2 | fd 1 2 | gfd 1 | lex_less |
lex_ne / 2 | gfd 1 | lex_different | ||
max / 2 | ic 1 | gfd 1 | maximum | |
max_first_index / 2 | gfd 1 | max_index | ||
max_first_index_g / 2 | gfd 1 | max_index | ||
max_index / 2 | gfd 1 | max_index | ||
max_index_g / 2 | gfd 1 | max_index | ||
maxlist / 2 | ic 1 2 | fd 1 | ||
mddc / 2 | ic 1 | fd 1 | ||
mem / 2 | gfd 1 | |||
mem / 3 | gfd 1 | |||
min / 2 | ic 1 | gfd 1 | minimum | |
min_first_index / 2 | gfd 1 | min_index | ||
min_first_index_g / 2 | gfd 1 | min_index | ||
min_index / 2 | gfd 1 | min_index | ||
min_index_g / 2 | gfd 1 | min_index | ||
minlist / 2 | ic 1 2 | fd 1 | ||
neg / 1 | ic 1 | gfd 1 | ||
neg / 2 | ic 1 | gfd 1 | ||
nvalue / 2 | ic 1 | fd 1 | ||
nvalues / 3 | gfd 1 | nvalues | ||
occurrences / 3 | ic 1 | fd 1 | gfd 1 | exactly |
or / 2 | gfd 1 | |||
or / 3 | ic 1 | gfd 1 | or | |
ordered / 2 | ic 1 | fd 1 | gfd 1 | strictly_increasing increasing strictly_decreasing decreasing all_equal not_all_equal |
ordered_sum / 2 | ic 1 | fd 1 | ||
piecewise_linear / 3 | ic 1 | |||
precede / 2 | gfd 1 | int_value_precede_chain | ||
precede / 3 | gfd 1 | int_value_precede | ||
profile / 4 | ic 1 | fd 1 | ||
reals / 1 | ic 1 | |||
regular / 2 | gfd 1 | |||
same / 2 | ic 1 | fd 1 | same | |
scalar_product / 4 | gfd 1 | scalar_product | ||
scalar_product / 5 | gfd 1 | |||
sequence / 4 | ic 1 | fd 1 | gfd 1 | among_seq |
sequence / 5 | ic 1 | fd 1 | gfd 1 | among_seq |
sorted / 2 | ic 1 | fd 1 | gfd 1 | sort |
sorted / 3 | ic 1 | fd 1 | gfd 1 | sort_permutation |
sorted_g / 3 | gfd 1 | sort_permutation | ||
sum / 2 | gfd 1 | sum_ctr | ||
sum / 3 | gfd 1 | sum_ctr | ||
sum / 4 | gfd 1 | |||
sumlist / 2 | ic 1 | fd 1 | gfd 1 | sum_ctr |
table / 2 | ic 1 | fd 1 | gfd 1 | in_relation |
xor / 2 | gfd 1 | |||
xor / 3 | gfd 1 | xor |