Hets - the Heterogeneous Tool Set

Copyright	DFKI GmbH 2009
License	GPLv2 or higher, see LICENSE.txt
Maintainer	codruta.liliana@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	None

ExtModal.MorphismExtension

Description

Documentation

data MorphExtension

Constructors

MorphExtension
Fields mod_map :: Map Id Id nom_map :: Map Id Id

Instances

Eq MorphExtension
Data MorphExtension
Ord MorphExtension
Show MorphExtension
ShATermConvertible MorphExtension
Pretty MorphExtension
Typeable * MorphExtension
MorphismExtension EModalSign MorphExtension
Sentences ExtModal ExtModalFORMULA ExtModalSign ExtModalMorph Symbol
StaticAnalysis ExtModal EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol
Logic ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism CASL2ExtModal CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism ExtModal2CASL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree
Comorphism ExtModal2ExtModalNoSubsorts ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism ExtModal2ExtModalTotal ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism ExtModal2HasCASL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol ()
Comorphism ExtModal2OWL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree

emptyMorphExtension :: MorphExtension

inducedEMsign :: InducedSign EM_FORMULA EModalSign MorphExtension EModalSign

mapEMmod :: Morphism EM_FORMULA EModalSign MorphExtension -> MODALITY -> MODALITY

mapEMprefix :: Morphism EM_FORMULA EModalSign MorphExtension -> FormPrefix -> FormPrefix

mapEMform :: MapSen EM_FORMULA EModalSign MorphExtension

mapEMframe :: Morphism EM_FORMULA EModalSign MorphExtension -> FrameForm -> FrameForm