Hets - the Heterogeneous Tool Set

Copyright	(c) Dominik Luecke, Uni Bremen 2007
License	GPLv2 or higher, see LICENSE.txt
Maintainer	luecke@informatik.uni-bremen.de
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred

Propositional.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 PropSL Symbol
MinSublogic PropSL Symbol
Sentences Propositional FORMULA Sign Morphism Symbol	Instance of Sentences for propositional logic
Syntax Propositional BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis Propositional BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol	Static Analysis for propositional logic
Logic Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS 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
Comorphism Prop2CommonLogic Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism Propositional2OWL2 Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree
Comorphism Prop2CASL Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree
Comorphism CASL2Prop CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS 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