CPSolver.Propagator.ConstraintGraph (Fixpoint v0.11.1)

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

add_edge(graph, from, to, label)

add_propagator(graph, propagator)

add_variable(graph, variable)

add_vertex(graph, vertex, label)

copy(graph)

create(propagators)

disconnect_variable(graph, variable_id)

edges(graph)

edges(constraint_graph, vertex)

entailed_propagator?(graph, propagator)

get_propagator(graph, vertex)

get_propagator_ids(constraint_graph, variable_id)

get_propagator_ids(constraint_graph, variable_id, domain_change)

get_propagators(constraint_graph)

get_variable(graph, vertex)

propagator_degree(graph, propagator_id)

propagator_vertex(propagator_id)

remove_propagator(graph, propagator_id)

remove_variable(graph, variable_id)

remove_vertex(graph, vertex)

update(graph, vars)

update_propagator(graph, propagator_id, propagator)

update_variable(graph, variable)

variable_degree(graph, variable_id)

variable_vertex(variable_id)

vertices(constraint_graph)