hets -- a heterogenous Specification (CASL) tool setContentsIndex
Comorphisms.LogicGraph
Portability non-portable
Stability provisional
Maintainer hets@tzi.de
Description

Assembles all the logics and comorphisms into a graph. The modules for the Grothendieck logic are logic graph indepdenent, and here is the logic graph that is used to instantiate these. Since the logic graph depends on a large number of modules for the individual logics, this separation of concerns (and possibility for separate compilation) is quite useful.

References:

T. Mossakowski: Relating CASL with Other Specification Languages: the Institution Level Theoretical Computer Science 286, p. 367-475, 2002.

Todo: Add many many logics and comorphisms.

Synopsis
logicList :: [AnyLogic]
inclusionList :: [AnyComorphism]
comorphismList :: [AnyComorphism]
addLogicName :: AnyLogic -> (String, AnyLogic)
addComorphismName :: AnyComorphism -> (String, AnyComorphism)
addInclusionNames :: AnyComorphism -> ((String, String), AnyComorphism)
logicGraph :: LogicGraph
defaultLogic :: AnyLogic
lookupLogic_in_LG :: String -> String -> AnyLogic
lookupComorphism_in_LG :: String -> Result AnyComorphism
Produced by Haddock version 0.6