Hets - the Heterogeneous Tool Set

Copyright(c) Eugen Kuksa Karl Luc Uni Bremen 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainereugenk@informatik.uni-bremen.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe

CommonLogic.Analysis

Description

Basic and static analysis for common logic

Synopsis

Documentation

negForm :: TEXT_META -> TEXT_META Source #

negate sentence (text) - propagates negation to sentences

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

signColimit :: Gr Sign (Int, Morphism) -> Result (Sign, Map Int Morphism) Source #

compute colimit of CL signatures