| Copyright | (c) Eugen Kuksa Karl Luc Uni Bremen 2010 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | eugenk@informatik.uni-bremen.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe |
CommonLogic.Analysis
Description
Basic and static analysis for common logic
Synopsis
- basicCommonLogicAnalysis :: (BASIC_SPEC, Sign, GlobalAnnos) -> Result (BASIC_SPEC, ExtSign Sign Symbol, [Named TEXT_META])
- negForm :: TEXT_META -> TEXT_META
- symsOfTextMeta :: TEXT_META -> [Symbol]
- mkStatSymbItems :: [SYMB_ITEMS] -> Result [Symbol]
- mkStatSymbMapItem :: [SYMB_MAP_ITEMS] -> Result (Map Symbol Symbol)
- inducedFromMorphism :: Map Symbol Symbol -> Sign -> Result Morphism
- inducedFromToMorphism :: Map Symbol Symbol -> ExtSign Sign Symbol -> ExtSign Sign Symbol -> Result Morphism
- signColimit :: Gr Sign (Int, Morphism) -> Result (Sign, Map Int Morphism)
Documentation
basicCommonLogicAnalysis :: (BASIC_SPEC, Sign, GlobalAnnos) -> Result (BASIC_SPEC, ExtSign Sign Symbol, [Named TEXT_META]) Source #
Common Logic static analysis
symsOfTextMeta :: TEXT_META -> [Symbol] Source #
retrieves all symbols from the text
mkStatSymbItems :: [SYMB_ITEMS] -> Result [Symbol] Source #
Retrieve raw symbols
mkStatSymbMapItem :: [SYMB_MAP_ITEMS] -> Result (Map Symbol Symbol) Source #
Static analysis for symbol maps
inducedFromMorphism :: Map Symbol Symbol -> Sign -> Result Morphism Source #
creates a morphism from a symbol map