| License | GPLv2 or higher, see LICENSE.txt |
|---|---|
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
NeSyPatterns.Analysis
Description
Basic and static analysis for propositional logic
Synopsis
- basicNeSyPatternsAnalysis :: (BASIC_SPEC, Sign, GlobalAnnos) -> Result (BASIC_SPEC, ExtSign Sign Symbol, [Named ()])
- mkStatSymbItems :: Sign -> [SYMB_ITEMS] -> Result [Symbol]
- mkStatSymbMapItem :: Sign -> Maybe Sign -> [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
- signatureColimit :: Gr Sign (Int, Morphism) -> Result (Sign, Map Int Morphism)
- subClassRelation :: [Axiom] -> Relation IRI IRI
Documentation
basicNeSyPatternsAnalysis :: (BASIC_SPEC, Sign, GlobalAnnos) -> Result (BASIC_SPEC, ExtSign Sign Symbol, [Named ()]) Source #
Basic analysis
mkStatSymbItems :: Sign -> [SYMB_ITEMS] -> Result [Symbol] Source #
Retrieve raw symbols
mkStatSymbMapItem :: Sign -> Maybe Sign -> [SYMB_MAP_ITEMS] -> Result (Map Symbol Symbol) Source #
Static analysis for symbol maps
inducedFromMorphism :: Map Symbol Symbol -> Sign -> Result Morphism Source #
Induce a signature morphism from a source signature and a raw symbol map