Copyright | (c) Dominik Luecke Uni Bremen 2007 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | luecke@informatik.uni-bremen.de |
Stability | experimental |
Portability | portable Definition of morphisms for temporal logic copied from "Propositional.Morphism" Ref. Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki. What is a Logic?. In Jean-Yves Beziau (Ed.), Logica Universalis, pp. 113-@133. Birkhaeuser. 2005. |
Safe Haskell | Safe |
Temporal.Morphism
Description
- data Morphism = Morphism {}
- pretty :: Pretty a => a -> Doc
- idMor :: Sign -> Morphism
- isLegalMorphism :: Morphism -> Result ()
- composeMor :: Morphism -> Morphism -> Result Morphism
- inclusionMap :: Sign -> Sign -> Morphism
- mapSentence :: Morphism -> FORMULA -> Result FORMULA
- mapSentenceH :: Morphism -> FORMULA -> FORMULA
- applyMap :: Map Id Id -> Id -> Id
- applyMorphism :: Morphism -> Id -> Id
Documentation
The datatype for morphisms in temporal logic as maps of sets
Instances
Eq Morphism Source # | |
Ord Morphism Source # | |
Show Morphism Source # | |
Pretty Morphism Source # | |
Sentences Temporal FORMULA Sign Morphism Symbol Source # | Instance of Sentences for temporal logic |
StaticAnalysis Temporal BASIC_SPEC FORMULA () () Sign Morphism Symbol Symbol Source # | Static Analysis for propositional logic |
Logic Temporal () BASIC_SPEC FORMULA () () Sign Morphism Symbol Symbol () Source # | Instance of Logic for propositional logc |
isLegalMorphism :: Morphism -> Result () Source #
Determines whether a morphism is valid
composeMor :: Morphism -> Morphism -> Result Morphism Source #
Composition of morphisms in temporal Logic