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 |
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.
- convertGraph :: ConvFunc
- initializeConverter :: IO (GInfo, HTk)
Documentation
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)