.. _propagators:

***********
Propagators
***********

NuCS currently provides the following highly-optimized propagators.


.. autofunction:: nucs.propagators.abs_eq_propagator.compute_domains_abs_eq
.. autofunction:: nucs.propagators.add_c_eq_propagator.compute_domains_add_c_eq
.. autofunction:: nucs.propagators.linear_eq_c_propagator.compute_domains_linear_eq_c
.. autofunction:: nucs.propagators.linear_geq_c_propagator.compute_domains_linear_geq_c
.. autofunction:: nucs.propagators.linear_leq_c_propagator.compute_domains_linear_leq_c
.. autofunction:: nucs.propagators.linear_neq_c_propagator.compute_domains_linear_neq_c
.. autofunction:: nucs.propagators.alldifferent_propagator.compute_domains_alldifferent
.. autofunction:: nucs.propagators.and_eq_propagator.compute_domains_and_eq
.. autofunction:: nucs.propagators.count_eq_c_propagator.compute_domains_count_eq_c
.. autofunction:: nucs.propagators.count_eq_propagator.compute_domains_count_eq
.. autofunction:: nucs.propagators.count_geq_c_propagator.compute_domains_count_geq_c
.. autofunction:: nucs.propagators.count_leq_c_propagator.compute_domains_count_leq_c
.. autofunction:: nucs.propagators.cumulative_propagator.compute_domains_cumulative
.. autofunction:: nucs.propagators.diffn_propagator.compute_domains_diffn
.. autofunction:: nucs.propagators.disjunctive_propagator.compute_domains_disjunctive
.. autofunction:: nucs.propagators.element_eq_propagator.compute_domains_element_eq
.. autofunction:: nucs.propagators.element_l_eq_alldifferent_propagator.compute_domains_element_l_eq_alldifferent
.. autofunction:: nucs.propagators.element_l_eq_c_alldifferent_propagator.compute_domains_element_l_eq_c_alldifferent
.. autofunction:: nucs.propagators.element_l_eq_c_propagator.compute_domains_element_l_eq_c
.. autofunction:: nucs.propagators.element_l_eq_propagator.compute_domains_element_l_eq
.. autofunction:: nucs.propagators.eq_propagator.compute_domains_eq
.. autofunction:: nucs.propagators.eq_c_reif_propagator.compute_domains_eq_c_reif
.. autofunction:: nucs.propagators.eq_reif_propagator.compute_domains_eq_reif
.. autofunction:: nucs.propagators.gcc_propagator.compute_domains_gcc
.. autofunction:: nucs.propagators.increasing_propagator.compute_domains_increasing
.. autofunction:: nucs.propagators.inverse_propagator.compute_domains_inverse
.. autofunction:: nucs.propagators.leq_c_propagator.compute_domains_leq_c
.. autofunction:: nucs.propagators.leq_c_reif_propagator.compute_domains_leq_c_reif
.. autofunction:: nucs.propagators.lexleq_propagator.compute_domains_lexleq
.. autofunction:: nucs.propagators.max_eq_propagator.compute_domains_max_eq
.. autofunction:: nucs.propagators.max_leq_propagator.compute_domains_max_leq
.. autofunction:: nucs.propagators.member_propagator.compute_domains_member
.. autofunction:: nucs.propagators.min_eq_propagator.compute_domains_min_eq
.. autofunction:: nucs.propagators.min_geq_propagator.compute_domains_min_geq
.. autofunction:: nucs.propagators.mod_c_eq_propagator.compute_domains_mod_c_eq
.. autofunction:: nucs.propagators.mod_eq_propagator.compute_domains_mod_eq
.. autofunction:: nucs.propagators.mul_c_eq_propagator.compute_domains_mul_c_eq
.. autofunction:: nucs.propagators.mul_eq_propagator.compute_domains_mul_eq
.. autofunction:: nucs.propagators.neq_propagator.compute_domains_neq
.. autofunction:: nucs.propagators.neq_reif_propagator.compute_domains_neq_reif
.. autofunction:: nucs.propagators.no_sub_cycle_propagator.compute_domains_no_sub_cycle
.. autofunction:: nucs.propagators.nvalue_propagator.compute_domains_nvalue
.. autofunction:: nucs.propagators.relation_propagator.compute_domains_relation
.. autofunction:: nucs.propagators.scc_propagator.compute_domains_scc
.. autofunction:: nucs.propagators.strictly_increasing_propagator.compute_domains_strictly_increasing
.. autofunction:: nucs.propagators.subcircuit_propagator.compute_domains_subcircuit
.. autofunction:: nucs.propagators.sum_eq_c_propagator.compute_domains_sum_eq_c
.. autofunction:: nucs.propagators.sum_eq_propagator.compute_domains_sum_eq
.. autofunction:: nucs.propagators.sum_geq_c_propagator.compute_domains_sum_geq_c
.. autofunction:: nucs.propagators.sum_leq_c_propagator.compute_domains_sum_leq_c
.. autofunction:: nucs.propagators.value_precede_propagator.compute_domains_value_precede