public class EdgeList
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.List |
edges |
private java.util.Map |
ocaMap
An index of the edges, for fast lookup.
|
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) |
private java.util.List edges
private java.util.Map ocaMap
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)