CPSolver.Propagator.ConstraintGraph (Fixpoint v0.8.25)

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

Summary

Functions

Link to this function

add_propagator(graph, propagator)

Link to this function

create(propagators)

@spec create([CPSolver.Propagator.t()]) :: Graph.t()
Link to this function

get_propagator(graph, propagator_id)

Link to this function

get_propagator_ids(constraint_graph, variable_id, filter_fun)

Link to this function

has_variable?(graph, variable_id)

Link to this function

propagator_vertex(propagator_id)

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)

Link to this function

update(graph, vars)

Link to this function

update_propagator(graph, propagator_id, propagator)