| 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
- data HetSublogicGraph = HetSublogicGraph {
- sublogicNodes :: Map String G_sublogics
- comorphismEdges :: Map (String, String) [AnyComorphism]
- hetSublogicGraph :: IO HetSublogicGraph
- hsg_union :: HetSublogicGraph -> HetSublogicGraph -> HetSublogicGraph
Documentation
data HetSublogicGraph Source #
Heterogenous Sublogic Graph this graph only contains interesting Sublogics plus comorphisms relating these sublogics; a comorphism might be mentioned multiple times
Constructors
| HetSublogicGraph | |
Fields
| |
hetSublogicGraph :: IO HetSublogicGraph Source #
initial version of a logic graph based on ticket #336