Fixpoint v0.16.1

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

Link to this section Summary

Functions

build_component_locator(vertices, components)
build_component_locator_impl(component_finder, component)
default_remove_edge_fun(vars)
forward_checking(variables)
forward_checking(variables, unfixed_indices, fixed_values)
fwc_impl(variables, unfixed_indices, fixed_values)
get_component(component_locator, var_index)
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

build_component_locator(vertices, components)

Link to this function

build_component_locator_impl(component_finder, component)

Link to this function

default_remove_edge_fun(vars)

Link to this function

forward_checking(variables)

Link to this function

forward_checking(variables, unfixed_indices, fixed_values)

Link to this function

fwc_impl(variables, unfixed_indices, fixed_values)

Link to this function

get_component(component_locator, var_index)

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)