.. _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_propagator.compute_domains_add_c
.. autofunction:: nucs.propagators.affine_eq_propagator.compute_domains_affine_eq
.. autofunction:: nucs.propagators.affine_geq_propagator.compute_domains_affine_geq
.. autofunction:: nucs.propagators.affine_leq_propagator.compute_domains_affine_leq
.. 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.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.equiv_eq_c_propagator.compute_domains_equiv_eq_c
.. autofunction:: nucs.propagators.equiv_eq_propagator.compute_domains_equiv_eq
.. autofunction:: nucs.propagators.gcc_propagator.compute_domains_gcc
.. autofunction:: nucs.propagators.leq_c_propagator.compute_domains_leq_c
.. autofunction:: nucs.propagators.lexicographic_leq_propagator.compute_domains_lexicographic_leq
.. autofunction:: nucs.propagators.max_eq_propagator.compute_domains_max_eq
.. autofunction:: nucs.propagators.max_leq_propagator.compute_domains_max_leq
.. autofunction:: nucs.propagators.min_eq_propagator.compute_domains_min_eq
.. autofunction:: nucs.propagators.min_geq_propagator.compute_domains_min_geq
.. autofunction:: nucs.propagators.mul_c_propagator.compute_domains_mul_c
.. autofunction:: nucs.propagators.no_sub_cycle_propagator.compute_domains_no_sub_cycle
.. autofunction:: nucs.propagators.permutation_aux_propagator.compute_domains_permutation_aux
.. autofunction:: nucs.propagators.relation_propagator.compute_domains_relation
.. autofunction:: nucs.propagators.scc_propagator.compute_domains_scc
.. 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