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

Translation of the signature

mapSub :: PropSL -> CASL_Sublogics

Which is the target sublogic?

mapMor :: Morphism -> Result CASLMor

Translation of morphisms

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

Mapping of a theory

mapSym :: Symbol -> Set Symbol

Translation of symbols

mapSentence :: Sign -> FORMULA -> Result CASLFORMULA

Translation of sentence

trNamedForm :: Named FORMULA -> Named CASLFORMULA

Helper for map theory

trForm :: FORMULA -> CASLFORMULA

Helper for map sentence and map theory

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

Helper for map mor