CPSolver.Propagator.AllDifferent.Zhang (Fixpoint v0.13.2)
Link to this section Summary
Link to this section Functions
Link to this function
process_left_partition_node(state, node)
Link to this function
process_right_partition_node(state, node)
Link to this function
process_sccs(graph, matching, remove_edge_fun)
Link to this function
reduce(value_graph, free_nodes, matching, remove_edge_fun)
Link to this function
remove_type1_edges(graph, free_nodes, matching, process_redundant_fun)
Link to this function