Hets - the Heterogeneous Tool Set

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

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

Documentation

convertGraph :: ConvFunc

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.