Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich Uni Bremen 2004 DFKI GmbH 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.Modal2CASL

Description

The possible world encoding comorphism from ModalCASL to CASL.

We use the Relational Translation by adding one extra parameter of type world to each predicate.

Synopsis

Documentation

data Modal2CASL Source #

The identity of the comorphism

Constructors

Modal2CASL 

Instances

Show Modal2CASL Source # 

Methods

showsPrec :: Int -> Modal2CASL -> ShowS

show :: Modal2CASL -> String

showList :: [Modal2CASL] -> ShowS

Language Modal2CASL Source # 

Methods

language_name :: Modal2CASL -> String Source #

description :: Modal2CASL -> String Source #

Comorphism Modal2CASL Modal () M_BASIC_SPEC ModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS MSign ModalMor Symbol RawSymbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree 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 #