CPSolver.Propagator.ConstraintGraph (Fixpoint v0.8.16)
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)
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