public class EdgeList
extends java.lang.Object
Constructor and Description |
---|
EdgeList() |
Modifier and Type | Method and Description |
---|---|
void |
add(Edge e)
Insert an edge unless it is already in the list
|
void |
addAll(java.util.Collection edgeColl) |
int |
findEdgeIndex(Edge e)
If the edge e is already in the list, return its index.
|
Edge |
findEqualEdge(Edge e)
If there is an edge equal to e already in the list, return it.
|
Edge |
get(int i) |
java.util.List |
getEdges() |
java.util.Iterator |
iterator() |
void |
print(java.io.PrintStream out) |
public void add(Edge e)
public void addAll(java.util.Collection edgeColl)
public java.util.List getEdges()
public Edge findEqualEdge(Edge e)
public java.util.Iterator iterator()
public Edge get(int i)
public int findEdgeIndex(Edge e)
public void print(java.io.PrintStream out)