Modifier and Type | Method and Description |
---|---|
Edge |
Node.getEdge(Node q)
Returns the Edge of this Node that connects to Node q.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<Edge> |
Node.getExits()
Returns an unmodifiable view of the Edges leaving this Node.
|
Constructor and Description |
---|
Edge(Edge e,
java.util.Map<Node,Node> isomorphism) |