| Package | Description |
|---|---|
| graph.elements |
Basic graph elements.
|
| Modifier and Type | Method and Description |
|---|---|
static EdgeDirection |
EdgeDirection.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static EdgeDirection[] |
EdgeDirection.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.List<EdgeDirection> |
Path.getDirections() |
| Modifier and Type | Method and Description |
|---|---|
void |
Path.addEdge(E e,
EdgeDirection direction)
Adds an edge to the path
|
| Modifier and Type | Method and Description |
|---|---|
void |
Path.setDirections(java.util.List<EdgeDirection> directions) |
| Constructor and Description |
|---|
Path(java.util.List<E> path,
java.util.List<EdgeDirection> directions)
Creates a path given edges and the direction in which they are traversed
|