Hets - the Heterogeneous Tool Set

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

QBF.Symbol

Description

Definition of symbols for propositional logic

Synopsis

Documentation

newtype Symbol

Datatype for symbols

Constructors

Symbol
Fields symName :: Id

Instances

Eq Symbol
Data Symbol
Ord Symbol
Show Symbol
ShATermConvertible Symbol
GetRange Symbol
Pretty Symbol
Typeable * Symbol
ProjectSublogicM QBFSL Symbol
MinSublogic QBFSL Symbol
Sentences QBF FORMULA Sign Morphism Symbol	Instance of Sentences for propositional logic
Syntax QBF BASICSPEC Symbol SYMBITEMS SYMBMAPITEMS	Syntax of Propositional logic
StaticAnalysis QBF BASICSPEC FORMULA SYMBITEMS SYMBMAPITEMS Sign Morphism Symbol Symbol	Static Analysis for propositional logic
Logic QBF QBFSL BASICSPEC FORMULA SYMBITEMS SYMBMAPITEMS Sign Morphism Symbol Symbol ProofTree	Instance of Logic for propositional logc
Comorphism QBF2Prop QBF QBFSL BASICSPEC FORMULA SYMBITEMS SYMBMAPITEMS Sign Morphism Symbol Symbol ProofTree Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism Prop2QBF Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree QBF QBFSL BASICSPEC FORMULA SYMBITEMS SYMBMAPITEMS Sign Morphism Symbol Symbol ProofTree

pretty :: Pretty a => a -> Doc

symOf :: Sign -> Set Symbol

Extraction of symbols from a signature

getSymbolMap :: Morphism -> Map Symbol Symbol

Determines the symbol map of a morhpism

getSymbolName :: Symbol -> Id

Determines the name of a symbol

idToRaw :: Id -> Symbol

make a raw_symbol

symbolToRaw :: Symbol -> Symbol

convert to raw symbol

matches :: Symbol -> Symbol -> Bool

does a smybol match a raw symbol?

applySymMap :: Map Symbol Symbol -> Symbol -> Symbol

application function for Symbol Maps