Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski Klaus Luettich Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellNone

Static.DotGraph

Description

Display of development graphs using Graphviz/dot

Synopsis

Documentation

dotGraph Source #

Arguments

:: FilePath 
-> Bool

True means show internal node labels

-> String

URL for node and edge links

-> DGraph 
-> String 

Generate a dot term representation out of a development graph