CPSolver.Propagator.ConstraintGraph (Fixpoint v0.13.2)
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.
Link to this section Summary
Link to this section Functions
Link to this function
add_edge(graph, from, to, label)
Link to this function
add_propagator(graph, propagator)
Link to this function
add_variable(graph, variable)
Link to this function
add_vertex(graph, vertex, label)
Link to this function
copy(graph)
Link to this function
create(propagators)
Specs
create([CPSolver.Propagator.t()]) :: Graph.t()
Link to this function
disconnect_propagator(graph, propagator_id)
Link to this function
disconnect_variable(graph, variable_id)
Link to this function
edges(graph)
Link to this function
edges(constraint_graph, vertex)
Link to this function
entailed_propagator?(graph, propagator)
Link to this function
get_propagator(graph, vertex)
Link to this function
get_propagator_ids(constraint_graph, variable_id)
Link to this function
get_propagator_ids(constraint_graph, variable_id, domain_change)
Link to this function
get_propagators(constraint_graph)
Link to this function
get_variable(graph, vertex)
Link to this function
propagator_degree(graph, propagator_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)
Link to this function
update_variable(graph, variable)
Link to this function
variable_degree(graph, variable_id)
Link to this function
variable_vertex(variable_id)
Link to this function