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

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

Summary

Functions

bind(propagator, source, var_field)

Callback implementation for CPSolver.Propagator.bind/3.

build_value_graph(var_list)

build_value_graph_impl(variable_map)

compute_maximum_matching(value_graph, variable_ids, partial_matching)

entailed?(args, propagator_state)

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

failed?(args, propagator_state)

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

final_state(sccs)

initial_state(vars)

new(args)

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

reset(args, state)

Callback implementation for CPSolver.Propagator.reset/2.

reset(args, state, opts)

Callback implementation for CPSolver.Propagator.reset/3.

Functions

bind(propagator, source, var_field)

Callback implementation for CPSolver.Propagator.bind/3.

build_value_graph(var_list)

build_value_graph_impl(variable_map)

compute_maximum_matching(value_graph, variable_ids, partial_matching)

entailed?(args, propagator_state)

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

failed?(args, propagator_state)

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

final_state(sccs)

initial_state(vars)

new(args)

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

reset(args, state)

Callback implementation for CPSolver.Propagator.reset/2.

reset(args, state, opts)

Callback implementation for CPSolver.Propagator.reset/3.