Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski and Uni Bremen 2004
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.CspCASL2Modal

Description

The embedding comorphism from CspCASL to ModalCASL. It keeps the CASL part and interprets the CspCASL LTS semantics as Kripke structure

Synopsis

Documentation

data CspCASL2Modal Source #

The identity of the comorphism

Constructors

CspCASL2Modal 

Instances

Show CspCASL2Modal Source # 

Methods

showsPrec :: Int -> CspCASL2Modal -> ShowS

show :: CspCASL2Modal -> String

showList :: [CspCASL2Modal] -> ShowS

Language CspCASL2Modal Source # 
Comorphism CspCASL2Modal CspCASL () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol () Modal () M_BASIC_SPEC ModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS MSign ModalMor Symbol RawSymbol () Source #