dk.brics.bisim.model
Class DotModel

java.lang.Object
  extended by dk.brics.bisim.model.DotModel

public class DotModel
extends java.lang.Object

A data model for making dot representations from graph files.

Author:
Martin Mosegaard martinm@daimi.au.dk

Constructor Summary
DotModel()
           
 
Method Summary
 java.lang.String getDotFromGraph(java.lang.String filename)
          From a file containing graph output from The Edinburgh CWB, a dot graph is constructed.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DotModel

public DotModel()
Method Detail

getDotFromGraph

public java.lang.String getDotFromGraph(java.lang.String filename)
From a file containing graph output from The Edinburgh CWB, a dot graph is constructed. This is later passed as input to Grappa.

Parameters:
filename - File name
Returns:
Dot representation of a graph