CPSolver.Propagator.ConstraintGraph (Fixpoint v0.10.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.

Summary

Functions

add_propagator(graph, propagator)
add_variable(graph, variable)
create(propagators)
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)

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)