Fixpoint v0.13.2

CPSolver.Propagator.AllDifferent.Utils (Fixpoint v0.13.2)

Link to this section Summary

Functions

default_remove_edge_fun(vars)
scc_component_handler(component, remove_edge_fun, current_acc)
split_to_sccs(graph, vertices, remove_edge_fun \\ fn graph, from, to -> BitGraph.delete_edge(graph, from, to) end)

Link to this section Functions

Link to this function

default_remove_edge_fun(vars)

Link to this function

scc_component_handler(component, remove_edge_fun, current_acc)

Link to this function

split_to_sccs(graph, vertices, remove_edge_fun \\ fn graph, from, to -> BitGraph.delete_edge(graph, from, to) end)