CPSolver.ValueGraph (Fixpoint v0.12.2)

Summary

Functions

build(variables, opts \\ [])

default_neighbor_finder(variables)

delete_edge(graph, value_vertex, var_vertex, variables)

forward_checking(graph, fixed_vertices, variables)

matching_neighbor_finder(graph, variables, matching)