vanted
Class GraphHelper

java.lang.Object
  extended by vanted.GraphHelper

public class GraphHelper
extends java.lang.Object

The Class GraphHelper layouts the parallel edges of the reachability graph.


Constructor Summary
GraphHelper()
           
 
Method Summary
static org.graffiti.graph.Graph selfLoop(org.graffiti.graph.Graph rGraph)
          Self loop.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GraphHelper

public GraphHelper()
Method Detail

selfLoop

public static org.graffiti.graph.Graph selfLoop(org.graffiti.graph.Graph rGraph)
Self loop.

Parameters:
rGraph - the r graph
Returns:
the graph