CPSolver.ValueGraph (Fixpoint v0.13.2)
Link to this section Summary
Link to this section Functions
Link to this function
build(variables, opts \\ [])
Link to this function
default_neighbor_finder(variables)
Link to this function
delete_edge(graph, value_vertex, var_vertex, variables)
Link to this function
forward_checking(graph, fixed_vertices, variables)
Link to this function
get_variable(variables, var_index)
Link to this function
get_variable_count(value_graph)
Link to this function
matching_neighbor_finder(graph, variables, matching, free_nodes)
Link to this function
show_graph(graph, context \\ nil)
Link to this function