CPSolver.Propagator.AllDifferent.Zhang (Fixpoint v0.11.8)

Summary

Functions

process_left_partition_node(state, node)

process_right_partition_node(state, node)

process_sccs(graph, matching, remove_edge_fun)

reduce(value_graph, free_nodes, matching, remove_edge_fun)

remove_type1_edges(graph, free_nodes, matching, process_redundant_fun)

remove_type2_edges(state, remove_edge_fun)

scc_component_handler(component, remove_edge_fun, current_acc)