[silver:util:graph]
Contents of [silver:util:graph]
:
Defined in this grammar:
Contained in grammar [silver:util:graph]
. Defined at silver/util/graph/Graph.sv line 9.
A primitive graph representation. Edges has no special value they either exist or do not.
Contained in grammar [silver:util:graph]
. Defined at silver/util/graph/Graph.sv line 14.
Returns an empty graph using Ord for comparison.
Contained in grammar [silver:util:graph]
. Defined at silver/util/graph/Graph.sv line 19.
Returns an empty graph using the specified vertex comparator.
Contained in grammar [silver:util:graph]
. Defined at silver/util/graph/Graph.sv line 30.
Adds a list of edges to the map
Contained in grammar [silver:util:graph]
. Defined at silver/util/graph/Graph.sv line 41.
Returns a set of edges FROM a particular vertex
Contained in grammar [silver:util:graph]
. Defined at silver/util/graph/Graph.sv line 52.
Determines whether an edge already exists in the graph.
Contained in grammar [silver:util:graph]
. Defined at silver/util/graph/Graph.sv line 63.
Returns the list of edges that make up the graph.
Contained in grammar [silver:util:graph]
. Defined at silver/util/graph/Graph.sv line 74.
Returns the transitiveClosure of a graph
Contained in grammar [silver:util:graph]
. Defined at silver/util/graph/Graph.sv line 86.
Assumes graph is already a transitive closure, adds the new edges, and repair the transitive closure.