Hets - the Heterogeneous Tool Set

Copyright(c) Soeren Schulze, Uni Bremen 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

Logic.KnownIris

Description

 

Documentation

logPrefix :: String

serPrefix :: String

logicNames :: Map String String

lookupLogicName :: String -> Maybe String

serializations :: String -> Map String String

lookupSerialization :: String -> String -> Maybe String