Hets - the Heterogeneous Tool Set

Copyright(c) Kristina Sojakova, DFKI Bremen 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerk.sojakova@jacobs-university.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

Framework.Analysis

Description

 

Documentation

anaLogicDef :: LogicDef -> DGraph -> IO DGraph

anaComorphismDef :: ComorphismDef -> DGraph -> IO DGraph

addLogic2LogicList :: String -> IO ()