public class Graphs
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
(package private) static class |
Graphs.SynchronizedEdge |
(package private) static class |
Graphs.SynchronizedElement<U extends Element> |
(package private) static class |
Graphs.SynchronizedGraph |
(package private) static class |
Graphs.SynchronizedNode |
Constructor and Description |
---|
Graphs() |
Modifier and Type | Method and Description |
---|---|
static Graph |
merge(Graph... graphs)
Merge several graphs in one.
|
static void |
mergeIn(Graph result,
Graph... graphs)
Merge several graphs in one.
|
static Graph |
synchronizedGraph(Graph g)
Synchronizes a graph.
|
static Graph |
unmutableGraph(Graph g) |
public static Graph synchronizedGraph(Graph g)
g
- the graph to synchronizepublic static Graph merge(Graph... graphs)
graphs
- graphs to merge