Hets - the Heterogeneous Tool Set

Copyright(c) Jonathan von Schroeder DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerjonathan.von_schroeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe

QBF.Analysis

Description

Basic and static analysis for propositional logic

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

Synopsis

Documentation

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

Retrieve raw symbols

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

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

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