| Modifier and Type | Method and Description |
|---|---|
Edge |
Edge.Builder.buildEdge()
Creates a new
Edge, setting the values specified via this
Edge.Builder. |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<Edge> |
Node.getAllIncomingEdges()
|
java.util.Set<Edge> |
Node.getAllOutgoingEdges()
|
java.util.List<Edge> |
Graph.getEdges()
|
java.util.Set<Edge> |
Node.getLocalIncomingEdges()
|
java.util.Set<Edge> |
Node.getLocalOutgoingEdges()
|
| Modifier and Type | Method and Description |
|---|---|
Graph.Builder |
Graph.Builder.edges(Edge... edges)
|
| Constructor and Description |
|---|
Graph(java.util.Map<java.lang.String,java.lang.Object> attrs,
java.util.Collection<? extends Node> nodes,
java.util.Collection<? extends Edge> edges)
Constructs a new
Graph from the given attributes, nodes, and
edges. |
Copyright (c) 2014 itemis AG and others. All rights reserved.