Fixpoint
v0.11.8
Search documentation of Fixpoint
Settings
CPSolver.ValueGraph
(Fixpoint v0.11.8)
Summary
Functions
build(variables, opts \\ [])
default_neighbor_finder(variables)
delete_edge(graph, value_vertex, var_vertex, variables)
matching_neighbor_finder(graph, variables, matching)
Functions
build(variables, opts \\ [])
default_neighbor_finder(variables)
delete_edge(graph, value_vertex, var_vertex, variables)
matching_neighbor_finder(graph, variables, matching)