Copyright | (c) Jonathan von Schroeder, DFKI GmbH 2010 |
---|---|

License | GPLv2 or higher, see LICENSE.txt |

Maintainer | jonathan.von_schroeder@dfki.de |

Stability | experimental |

Portability | portable |

Safe Haskell | Safe-Inferred |

Basic and static analysis for propositional logic

Ref. http://en.wikipedia.org/wiki/Propositional_logic http://www.voronkov.com/lics.cgi

- basicPropositionalAnalysis :: (BASICSPEC, Sign, GlobalAnnos) -> Result (BASICSPEC, ExtSign Sign Symbol, [Named FORMULA])
- mkStatSymbItems :: [SYMBITEMS] -> Result [Symbol]
- mkStatSymbMapItem :: [SYMBMAPITEMS] -> 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)

# Documentation

basicPropositionalAnalysis :: (BASICSPEC, Sign, GlobalAnnos) -> Result (BASICSPEC, ExtSign Sign Symbol, [Named FORMULA])

mkStatSymbItems :: [SYMBITEMS] -> Result [Symbol]

Retrieve raw symbols

mkStatSymbMapItem :: [SYMBMAPITEMS] -> Result (Map Symbol Symbol)

Static analysis for symbol maps

inducedFromMorphism :: Map Symbol Symbol -> Sign -> Result Morphism

Induce a signature morphism from a source signature and a raw symbol map