CPSolver.Propagator.ConstraintGraph (Fixpoint v0.5.10)

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

create(propagators)
get_propagator(graph, propagator_id)
get_propagators(constraint_graph, variable_id, domain_change)
has_variable?(graph, variable_id)
propagator_vertex(propagator_id)
remove_fixed(graph, vars)
remove_propagator(graph, propagator_id)
remove_variable(graph, variable_id)
remove_vertex(graph, vertex)

Functions

Link to this function

create(propagators)

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

get_propagator(graph, propagator_id)

Link to this function

get_propagators(constraint_graph, variable_id, domain_change)

Link to this function

has_variable?(graph, variable_id)

Link to this function

propagator_vertex(propagator_id)

Link to this function

remove_fixed(graph, vars)

Link to this function

remove_propagator(graph, propagator_id)

Link to this function

remove_variable(graph, variable_id)

Link to this function

remove_vertex(graph, vertex)