CPSolver.Propagator.AllDifferent.DC (Fixpoint v0.8.51)

The domain-consistent propagator for AllDifferent constraint, based on bipartite maximum matching.

Summary

Functions

Link to this function

bind(propagator, source, var_field)

Callback implementation for CPSolver.Propagator.bind/3.

Link to this function

build_value_graph(var_list)

Link to this function

compute_maximum_matching(value_graph, variable_ids, partial_matching)

Link to this function

entailed?(args, propagator_state)

Callback implementation for CPSolver.Propagator.entailed?/2.

Link to this function

failed?(args, propagator_state)

Callback implementation for CPSolver.Propagator.failed?/2.

Link to this function

final_state(sccs)

Link to this function

initial_state(vars)

Link to this function

reduction(vars, value_graph, variable_vertices, partial_matching, repair_matching? \\ true)

Link to this function

reset(args, state)

Callback implementation for CPSolver.Propagator.reset/2.

Link to this function

reset(args, state, opts)

Callback implementation for CPSolver.Propagator.reset/3.