CPSolver.ValueGraph (Fixpoint v0.11.7)

Summary

Functions

build(variables, opts \\ [])

default_neighbor_finder(variables)

delete_edge(graph, value_vertex, var_vertex, variables)

matching_neighbor_finder(graph, variables, matching)