org.cesta.parsers.dot
Class DotTree.SubGraph

java.lang.Object
  org.cesta.parsers.dot.DotTree.Graph
      org.cesta.parsers.dot.DotTree.SubGraph

Enclosing class:

DotTree

public class DotTree.SubGraph
extends DotTree.Graph

Subgraphs - special type of Graph.

Field Summary

Fields inherited from class org.cesta.parsers.dot.DotTree.Graph

attributes, edgeAttributes, edges, graphAttributes, id, isDirected, isStrict, nodeAttributes, nodes, subGraphs, subGraphsMap

Constructor Summary

DotTree.SubGraph()

DotTree.SubGraph(java.lang.String id)

Method Summary

java.lang.String

toString()

Methods inherited from class org.cesta.parsers.dot.DotTree.Graph

equals, getNodePairs, getNodes, getTransitionMap

Methods inherited from class java.lang.Object

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

Constructor Detail

DotTree.SubGraph

public DotTree.SubGraph()

DotTree.SubGraph

public DotTree.SubGraph(java.lang.String id)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class DotTree.Graph