Fixpoint
v0.12.2
Search documentation of Fixpoint
Settings
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)
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)