Copyright	(c) Klaus Luettich and Uni Bremen 2007
License	GPLv2 or higher, see LICENSE.txt
Maintainer	till@informatik.uni-bremen.de
Stability	unstable
Portability	non-portable
Safe Haskell	None

Comorphisms.HetLogicGraph

Description

Assembles the computation of or the pre-computed het Sublogic Graph.

Synopsis

Documentation

data HetSublogicGraph

Heterogenous Sublogic Graph this graph only contains interesting Sublogics plus comorphisms relating these sublogics; a comorphism might be mentioned multiple times

Constructors

HetSublogicGraph
Fields sublogicNodes :: Map String G_sublogics comorphismEdges :: Map (String, String) [AnyComorphism]

hetSublogicGraph :: IO HetSublogicGraph

initial version of a logic graph based on ticket #336

hsg_union :: HetSublogicGraph -> HetSublogicGraph -> HetSublogicGraph