CPSolver.Propagator.ConstraintGraph (Fixpoint v0.8.30)
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
Link to this function
add_propagator(graph, propagator)
Link to this function
create(propagators)
@spec create([CPSolver.Propagator.t()]) :: Graph.t()
Link to this function
get_propagator(graph, propagator_id)
Link to this function
get_propagator_ids(constraint_graph, variable_id, domain_change)
Link to this function
has_variable?(graph, variable_id)
Link to this function
propagator_vertex(propagator_id)
Link to this function
propagators_by_variable(constraint_graph, variable_id, reduce_fun)
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