public class EdgeList
extends java.util.ArrayList
Edges.| Constructor and Description |
|---|
EdgeList() |
| Modifier and Type | Method and Description |
|---|---|
Edge |
getEdge(int index)
Returns the edge for the given index.
|
int |
getSlack()
For internal use only.
|
int |
getSourceIndex(int i)
For intrenal use only.
|
int |
getTargetIndex(int i)
For internal use only.
|
int |
getWeight()
For internal use only.
|
boolean |
isCompletelyFlagged()
For internal use only
|
void |
resetFlags(boolean resetTree)
For internal use only.
|
void |
setFlags(boolean value)
For internal use only.
|
add, add, addAll, addAll, clear, clone, contains, ensureCapacity, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeRange, retainAll, set, size, subList, toArray, toArray, trimToSizepublic Edge getEdge(int index)
index - the index of the requested edgepublic int getSourceIndex(int i)
i - and indexpublic int getTargetIndex(int i)
i - an indexpublic int getSlack()
public int getWeight()
public boolean isCompletelyFlagged()
true if completely flaggedpublic void resetFlags(boolean resetTree)
resetTree - internalpublic void setFlags(boolean value)
value - valueCopyright (c) IBM Corp. and others 2000, 2011. All Rights Reserved.