CPSolver.Propagator.AllDifferent.Zhang (Fixpoint v0.16.1)
Link to this section Summary
Link to this section Functions
Link to this function
process_sccs(graph, matching, remove_edge_fun)
Link to this function
process_value_partition_node(state, node)
Link to this function
process_variable_partition_node(state, variable_vertex)
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