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

Logic.KnownIris

Description

 

Documentation

logPrefix :: String Source #

serPrefix :: String Source #

logicNames :: Map String String Source #

lookupLogicName :: String -> Maybe String Source #

serializations :: String -> Map String String Source #

lookupSerialization :: String -> String -> Maybe String Source #