Fixpoint v0.14.4

CPSolver.ValueGraph (Fixpoint v0.14.4)

Link to this section Summary

Functions

build(variables, opts \\ [])
default_neighbor_finder(variables)
delete_edge(graph, value_vertex, var_vertex, variables)
get_variable(variables, var_index)
get_variable_count(value_graph)
matching_neighbor_finder(graph, variables, matching, free_nodes)

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

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)