CPSolver.Propagator.ConstraintGraph (Fixpoint v0.4.2)

The constraint graph connects propagators and their variables. The edge between a propagator and a variable represents a notification the propagator receives upon varable's domain change.

Summary

Functions

Link to this function

create(propagators)

@spec create(
  [CPSolver.Propagator.t()]
  | %{required(reference()) => CPSolver.Propagator.t()}
) ::
  Graph.t()
Link to this function

get_propagators(graph_table, variable_id, domain_change)

Link to this function

read_graph(graph_table)

Link to this function

remove_propagator(table_or_graph, propagator_id)

Link to this function

remove_variable(table_or_graph, variable_id)

Link to this function

remove_vertex(graph_table, vertex)

Link to this function

update_graph(graph, graph_table)