joeq.Util.SyntheticGraphs
Class Graph

java.lang.Object
  joeq.Util.SyntheticGraphs.Graph

public class Graph
extends Object

Nested Class Summary

static class	Graph.Direction
class	Graph.Edge

Field Summary

protected Graph.Direction	_dir
protected List	_edgeList
protected String	_name
protected HashMap	_nodeMap

Constructor Summary

Graph()

Graph(String name, Graph.Direction dir)

Method Summary

void	addEdge(long num1, long num2)
void	addEdge(String num1, String num2)
void	addNode(long num, String name)
void	addNode(String num, String name)
void	printDot(PrintStream out)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_name

protected String _name

_nodeMap

protected HashMap _nodeMap

_edgeList

protected List _edgeList

_dir

protected Graph.Direction _dir

Constructor Detail

Graph

public Graph(String name,
             Graph.Direction dir)

Graph

public Graph()

Method Detail

addNode

public void addNode(String num,
                    String name)

addNode

public void addNode(long num,
                    String name)

addEdge

public void addEdge(String num1,
                    String num2)

addEdge

public void addEdge(long num1,
                    long num2)

printDot

public void printDot(PrintStream out)