| Copyright | (c) Jorina Freya Gerken Till Mossakowski Uni Bremen 2002-2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | till@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | non-portable (imports Logic) |
| Safe Haskell | None |
GUI.GraphDisplay
Description
Conversion of development graphs from Logic.DevGraph to abstract graphs of the graph display interface
A composition table is used when abstracting the graph and composing multiple edges. It looks like this
[("normal","normal","normal"),
("normal","inclusion","normal"),
("inclusion","normal","normal"),
("inclusion","inclusion","inclusion")]
A ginfo can be created with initgraphs. The graph is then created with addnode and addlink.
Synopsis
- convertGraph :: ConvFunc
- initializeConverter :: IO (GInfo, HTk)
Documentation
convertGraph :: ConvFunc Source #
converts the development graph given by its libname into an abstract graph and returns the descriptor of the latter, the graphInfo it is contained in and the conversion maps.
initializeConverter :: IO (GInfo, HTk) Source #