CPSolver.Propagator.ConstraintGraph (Fixpoint v0.10.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_propagator(graph, propagator)

add_variable(graph, variable)

create(propagators)

@spec create([CPSolver.Propagator.t()]) :: Graph.t()

disconnect_variable(graph, variable_id)

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_variable(graph, vertex)

propagator_degree(graph, propagator_id)

propagator_vertex(propagator_id)

propagators_by_variable(constraint_graph, variable_id, reduce_fun)

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, var_id, variable)

variable_degree(graph, variable_id)

variable_vertex(variable_id)

vertices(constraint_graph)