Fixpoint
v0.12.1
Search documentation of Fixpoint
Settings
CPSolver.Propagator.AllDifferent.Zhang
(Fixpoint v0.12.1)
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)
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)