Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Luecke, Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred

Propositional.Analysis

Description

Basic and static analysis for propositional logic

Ref. http://en.wikipedia.org/wiki/Propositional_logic

Synopsis

Documentation

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

Retrieve raw symbols

mkStatSymbMapItem :: [SYMB_MAP_ITEMS] -> 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

inducedFromToMorphism :: Map Symbol Symbol -> ExtSign Sign Symbol -> ExtSign Sign Symbol -> Result Morphism

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