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