CPSolver.ValueGraph (Fixpoint v0.16.1)
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, var_vertex_index, value_vertex_index, variables)
Link to this function
get_total_vertex_count(value_graph)
Link to this function
get_value(graph, value_vertex_index)
Link to this function
get_value_count(value_graph)
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
variable_index(vertex_index)
Link to this function
variable_vertex_index(variable_index)
Link to this function