| Copyright | (c) Dominik Luecke and Uni Bremen 2007 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | luecke@informatik.uni-bremen.de |
| Stability | experimental |
| Portability | portable (imports Logic.Logic) |
| Safe Haskell | None |
Propositional.Prop2CASLHelpers
Description
The helpers for translating comorphism from Propositional to CASL.
- mapSig :: Sign -> CASLSign
- mapSub :: PropSL -> CASL_Sublogics
- mapMor :: Morphism -> Result CASLMor
- mapTheory :: (Sign, [Named FORMULA]) -> Result (CASLSign, [Named CASLFORMULA])
- mapSym :: Symbol -> Set Symbol
- mapSentence :: Sign -> FORMULA -> Result CASLFORMULA
- trNamedForm :: Named FORMULA -> Named CASLFORMULA
- trForm :: FORMULA -> CASLFORMULA
- trMor :: Map Id Id -> Map (Id, PredType) Id
Documentation
mapSub :: PropSL -> CASL_Sublogics
Which is the target sublogic?
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