5. Global Constraint Catalogue
a
- abs_value
- all_differ_from_at_least_k_pos
- all_differ_from_at_most_k_pos
- all_differ_from_exactly_k_pos
- all_equal
- all_equal_peak
- all_equal_peak_max
- all_equal_valley
- all_equal_valley_min
- all_incomparable
- all_min_dist
- alldifferent
- alldifferent_between_sets
- alldifferent_consecutive_values
- alldifferent_cst
- alldifferent_except_0
- alldifferent_interval
- alldifferent_modulo
- alldifferent_on_intersection
- alldifferent_partition
- alldifferent_same_value
- allperm
- among
- among_diff_0
- among_interval
- among_low_up
- among_modulo
- among_seq
- among_var
- and
- arith
- arith_or
- arith_sliding
- assign_and_counts
- assign_and_nvalues
- atleast
- atleast_nvalue
- atleast_nvector
- atmost
- atmost1
- atmost_nvalue
- atmost_nvector
b
c
- calendar
- cardinality_atleast
- cardinality_atmost
- cardinality_atmost_partition
- change
- change_continuity
- change_pair
- change_partition
- change_vectors
- circuit
- circuit_cluster
- circular_change
- clause_and
- clause_or
- clique
- colored_matrix
- coloured_cumulative
- coloured_cumulatives
- common
- common_interval
- common_modulo
- common_partition
- compare_and_count
- cond_lex_cost
- cond_lex_greater
- cond_lex_greatereq
- cond_lex_less
- cond_lex_lesseq
- connect_points
- connected
- consecutive_groups_of_ones
- consecutive_values
- contains_sboxes
- correspondence
- count
- counts
- coveredby_sboxes
- covers_sboxes
- crossing
- cumulative
- cumulative_convex
- cumulative_product
- cumulative_two_d
- cumulative_with_level_of_priority
- cumulatives
- cutset
- cycle
- cycle_card_on_path
- cycle_or_accessibility
- cycle_resource
- cyclic_change
- cyclic_change_joker
d
- dag
- decreasing
- decreasing_peak
- decreasing_valley
- deepest_valley
- derangement
- differ_from_at_least_k_pos
- differ_from_at_most_k_pos
- differ_from_exactly_k_pos
- diffn
- diffn_column
- diffn_include
- discrepancy
- disj
- disjoint
- disjoint_sboxes
- disjoint_tasks
- disjunctive
- disjunctive_or_same_end
- disjunctive_or_same_start
- distance
- distance_between
- distance_change
- divisible
- divisible_or
- dom_reachability
- domain
- domain_constraint
e
g
i
- imply
- in
- in_interval
- in_interval_reified
- in_intervals
- in_relation
- in_same_partition
- in_set
- incomparable
- increasing
- increasing_global_cardinality
- increasing_nvalue
- increasing_nvalue_chain
- increasing_peak
- increasing_sum
- increasing_valley
- indexed_sum
- inflexion
- inside_sboxes
- int_value_precede
- int_value_precede_chain
- interval_and_count
- interval_and_sum
- inverse
- inverse_offset
- inverse_set
- inverse_within_range
- ith_pos_different_from_0
k
l
- length_first_sequence
- length_last_sequence
- leq
- leq_cst
- lex2
- lex_alldifferent
- lex_alldifferent_except_0
- lex_between
- lex_chain_greater
- lex_chain_greatereq
- lex_chain_less
- lex_chain_lesseq
- lex_different
- lex_equal
- lex_greater
- lex_greatereq
- lex_less
- lex_lesseq
- lex_lesseq_allperm
- link_set_to_booleans
- longest_change
- longest_decreasing_sequence
- longest_increasing_sequence
- lt
m
- map
- max_decreasing_slope
- max_increasing_slope
- max_index
- max_n
- max_nvalue
- max_occ_of_consecutive_tuples_of_values
- max_occ_of_sorted_tuples_of_values
- max_occ_of_tuples_of_values
- max_size_set_of_consecutive_var
- maximum
- maximum_modulo
- meet_sboxes
- min_decreasing_slope
- min_dist_between_inflexion
- min_increasing_slope
- min_index
- min_n
- min_nvalue
- min_size_full_zero_stretch
- min_size_set_of_consecutive_var
- min_width_peak
- min_width_valley
- minimum
- minimum_except_0
- minimum_greater_than
- minimum_modulo
- minimum_weight_alldifferent
- multi_global_contiguity
- multi_inter_distance
- multiple
n
o
- open_alldifferent
- open_among
- open_atleast
- open_atmost
- open_global_cardinality
- open_global_cardinality_low_up
- open_maximum
- open_minimum
- opposite_sign
- or
- orchard
- order
- ordered_atleast_nvector
- ordered_atmost_nvector
- ordered_global_cardinality
- ordered_nvector
- orth_link_ori_siz_end
- orth_on_the_ground
- orth_on_top_of_orth
- orths_are_connected
- overlap_sboxes
p
s
- same
- same_and_global_cardinality
- same_and_global_cardinality_low_up
- same_intersection
- same_interval
- same_modulo
- same_partition
- same_sign
- scalar_product
- sequence_folding
- set_value_precede
- shift
- sign_of
- size_max_seq_alldifferent
- size_max_starting_seq_alldifferent
- sliding_card_skip0
- sliding_distribution
- sliding_sum
- sliding_time_window
- sliding_time_window_from_start
- sliding_time_window_sum
- smooth
- soft_all_equal_max_var
- soft_all_equal_min_ctr
- soft_all_equal_min_var
- soft_alldifferent_ctr
- soft_alldifferent_var
- soft_cumulative
- soft_same_interval_var
- soft_same_modulo_var
- soft_same_partition_var
- soft_same_var
- soft_used_by_interval_var
- soft_used_by_modulo_var
- soft_used_by_partition_var
- soft_used_by_var
- some_equal
- sort
- sort_permutation
- stable_compatibility
- stage_element
- stretch_circuit
- stretch_path
- stretch_path_partition
- strict_lex2
- strictly_decreasing
- strictly_increasing
- strongly_connected
- subgraph_isomorphism
- sum
- sum_ctr
- sum_cubes_ctr
- sum_free
- sum_of_increments
- sum_of_weights_of_distinct_values
- sum_powers4_ctr
- sum_powers5_ctr
- sum_powers6_ctr
- sum_set
- sum_squares_ctr
- symmetric
- symmetric_alldifferent
- symmetric_alldifferent_except_0
- symmetric_alldifferent_loop
- symmetric_cardinality
- symmetric_gcc