Hets - the Heterogeneous Tool Set
Copyright(c) Mihai Codescu Uni Bremen 2002-2004
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerMihai.Codescu@dfki.de
Stabilityexperimental
Portabilitynon-portable (Logic)
Safe HaskellNone

Modifications.ModalEmbedding

Description

institution modification

Documentation

data MODAL_EMBEDDING Source #

Constructors

MODAL_EMBEDDING 

Instances

Instances details
Show MODAL_EMBEDDING Source # 
Instance details

Defined in Modifications.ModalEmbedding

Methods

showsPrec :: Int -> MODAL_EMBEDDING -> ShowS

show :: MODAL_EMBEDDING -> String

showList :: [MODAL_EMBEDDING] -> ShowS

Language MODAL_EMBEDDING Source # 
Instance details

Defined in Modifications.ModalEmbedding

Methods

language_name :: MODAL_EMBEDDING -> String Source #

description :: MODAL_EMBEDDING -> String Source #

Modification MODAL_EMBEDDING (InclComorphism CASL CASL_Sublogics) (CompComorphism CASL2Modal Modal2CASL) CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source # 
Instance details

Defined in Modifications.ModalEmbedding

Methods

tauSigma :: MODAL_EMBEDDING -> CASLSign -> Result CASLMor Source #

sourceComorphism :: MODAL_EMBEDDING -> InclComorphism CASL CASL_Sublogics Source #

targetComorphism :: MODAL_EMBEDDING -> CompComorphism CASL2Modal Modal2CASL Source #