public class Edge
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
length
The length of this edge
|
Constructor and Description |
---|
Edge(Edge e,
java.util.Map<Node,Node> isomorphism) |
Edge(Node src,
Node dest,
int length) |
Modifier and Type | Method and Description |
---|---|
Node |
getDest()
Returns the Node that this edge is going to.
|
Node |
getOther(Node n)
Returns the Node on this Edge that is not equal to the one provided.
|
Node |
getSource()
Returns the Node that this edge is coming from.
|
int |
length()
Returns the length of this Edge
|
public Node getOther(Node n)
n
- A Node on this Edgepublic int length()
public Node getSource()
public Node getDest()