public class Edge
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
length
The node this edge is going to
|
Constructor and Description |
---|
Edge(Edge e,
java.util.Map<Node,Node> isomorphism)
Constructor: an edge that is isomporhpic to isomporhism.
|
Edge(Node src,
Node dest,
int length)
Constructor: an edge from src to dest with length length.
|
Modifier and Type | Method and Description |
---|---|
Node |
getDest()
Return destination of edge
|
Node |
getOther(Node n)
Return the Node on this Edge that is not equal to n.
|
Node |
getSource()
Return the source of this edge.
|
int |
length()
Return the length of this Edge
|
public Edge(Node src, Node dest, int length)
public Node getOther(Node n)
n
- A Node on this Edgepublic int length()
public Node getSource()
public Node getDest()