Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Luecke and Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Portabilityportable (imports Logic.Logic)
Safe HaskellNone



The helpers for translating comorphism from Propositional to CASL.



mapSig :: Sign -> CASLSign Source #

Translation of the signature

mapSub :: PropSL -> CASL_Sublogics Source #

Which is the target sublogic?

mapMor :: Morphism -> Result CASLMor Source #

Translation of morphisms

mapTheory :: (Sign, [Named FORMULA]) -> Result (CASLSign, [Named CASLFORMULA]) Source #

Mapping of a theory

mapSym :: Symbol -> Set Symbol Source #

Translation of symbols

mapSentence :: Sign -> FORMULA -> Result CASLFORMULA Source #

Translation of sentence

trNamedForm :: Named FORMULA -> Named CASLFORMULA Source #

Helper for map theory

trForm :: FORMULA -> CASLFORMULA Source #

Helper for map sentence and map theory

trMor :: Map Id Id -> Map (Id, PredType) Id Source #

Helper for map mor