Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Luecke and Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityexperimental
Portabilityportable (imports Logic.Logic)
Safe HaskellNone

Propositional.Prop2CASLHelpers

Description

The helpers for translating comorphism from Propositional to CASL.

Synopsis

Documentation

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