V - The vertex typeE - The edge typepublic class LRPartition<V extends Vertex,E extends Edge<V>>
extends java.lang.Object
| Constructor and Description |
|---|
LRPartition(Graph<V,E> graph) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
createLRPartition()
An LR partition is a partition of the back edges into Left and Right so
that for every fork all return edges of e ending strictly
higher than lowpt(e2) belong to one partition, and all return edges of e2 ending strictly
higher than lowpt(e1) belong to the other.
|
boolean |
createLRPartition(DFSTree<V,E> tree) |
java.util.List<E> |
getLeft()
Returns the left partition
|
java.util.List<E> |
getRight()
Returns the right partition
|
void |
printPartition() |
void |
setLeft(java.util.List<E> left) |
void |
setRight(java.util.List<E> right) |
java.lang.String |
toString() |
public boolean createLRPartition()
true if it can be partitioned, false otherwisepublic boolean createLRPartition(DFSTree<V,E> tree)
tree - Tree whose back edges are being partitionedtrue if it can be partitioned, false otherwisepublic java.util.List<E> getRight()
public void setRight(java.util.List<E> right)
right - Edges in the right partitionpublic java.util.List<E> getLeft()
public void setLeft(java.util.List<E> left)
left - Edges in the left partitionpublic void printPartition()
public java.lang.String toString()
toString in class java.lang.Object