Hets - the Heterogeneous Tool Set

Copyright	(c) Markus Roggenbach and Till Mossakowski and Uni Bremen 2004
License	GPLv2 or higher, see LICENSE.txt
Maintainer	a.m.gimblett@swan.ac.uk
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred

CspCASL.AS_CspCASL

Description

Abstract syntax of CSP-CASL processes.

Documentation

data CspBasicExt

Constructors

Channels [Annoted CHANNEL_DECL] Range
ProcItems [Annoted PROC_ITEM] Range

Instances

Data CspBasicExt
Show CspBasicExt
ShATermConvertible CspBasicExt
GetRange CspBasicExt
Pretty CspBasicExt
AParsable CspBasicExt
Typeable * CspBasicExt
Comorphism CASL2CspCASL CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CspCASL () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol ()
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 ()
Show a => Syntax (GenCspCASL a) CspBasicSpec CspSymbol CspSymbItems CspSymbMapItems	Syntax of CspCASL
Show a => StaticAnalysis (GenCspCASL a) CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol	Static Analysis for CspCASL
CspCASLSemantics a => Logic (GenCspCASL a) () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol ()	Instance of Logic for CspCASL
(CspCASLSemantics a, CspCASLSemantics b) => Comorphism (CspCASL2CspCASL a b) (GenCspCASL a) () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol () (GenCspCASL b) () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol ()

data CHANNEL_DECL

Constructors

ChannelDecl [CHANNEL_NAME] SORT

Instances

Data CHANNEL_DECL
Show CHANNEL_DECL
ShATermConvertible CHANNEL_DECL
GetRange CHANNEL_DECL
Pretty CHANNEL_DECL
ListCheck CHANNEL_DECL
Typeable * CHANNEL_DECL

data PARM_PROCNAME

Constructors

ParmProcname FQ_PROCESS_NAME [VAR]

Instances

Data PARM_PROCNAME
Show PARM_PROCNAME
ShATermConvertible PARM_PROCNAME
GetRange PARM_PROCNAME
Pretty PARM_PROCNAME
Typeable * PARM_PROCNAME