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 Source #

anaComorphismDef :: ComorphismDef -> DGraph -> IO DGraph Source #

addLogic2LogicList :: String -> IO () Source #