Copyright	(c) Karl Luc, DFKI Bremen 2010, Eugen Kuksa, Uni Bremen 2011
License	GPLv2 or higher, see LICENSE.txt
Maintainer	eugenk@informatik.uni-bremen.de
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred

CommonLogic.Symbol

Description

Definition of symbols for common logic

Synopsis

Documentation

newtype Symbol

Constructors

Symbol
Fields symName :: Id

Instances

Eq Symbol
Ord Symbol
Show Symbol
ShATermConvertible Symbol
GetRange Symbol
Pretty Symbol
Typeable * Symbol
ProjectSublogicM CommonLogicSL Symbol
MinSublogic CommonLogicSL Symbol
Sentences CommonLogic TEXT_META Sign Morphism Symbol
Syntax CommonLogic BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis CommonLogic BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol
Logic CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism CommonLogic2IsabelleHOL CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism CommonLogicModuleElimination CommonLogic CommonLogicSL BASIC_SPEC TEXT_META 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 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 OWL22CommonLogic OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism CL2CFOL CommonLogic CommonLogicSL BASIC_SPEC TEXT_META 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 SoftFOL2CommonLogic SoftFOL () [TPTP] Sentence () () Sign SoftFOLMorphism SFSymbol () ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree

printSymbol :: Symbol -> Doc

Pretty prints the symbol x

symOf :: Sign -> Set Symbol

Converts a signature to a set of symbols

getSymbolMap :: Morphism -> Map Symbol Symbol

Determines the symbol map of a morhpism

getSymbolName :: Symbol -> Id

Determines the name of a symbol

symbolToRaw :: Symbol -> Symbol

idToRaw :: Id -> Symbol

matches :: Symbol -> Symbol -> Bool

Checks two symbols on equality

addSymbToSign :: Sign -> Symbol -> Result Sign

Adds a symbol to a signature

symKind :: Symbol -> String

Returns a string classifying the symbol as name or sequence marker