Copyright	(c) T.Mossakowski, C.Maeder, Uni Bremen 2004-2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	hausmann@informatik.uni-bremen.de
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred

CoCASL.AS_CoCASL

Description

Abstract syntax for CoCASL, the coalgebraic extension of CASL Only the added syntax is specified

Documentation

type C_BASIC_SPEC = BASIC_SPEC C_BASIC_ITEM C_SIG_ITEM C_FORMULA

type AnModFORM = Annoted (FORMULA C_FORMULA)

data C_BASIC_ITEM

Constructors

CoFree_datatype [Annoted CODATATYPE_DECL] Range
CoSort_gen [Annoted (SIG_ITEMS C_SIG_ITEM C_FORMULA)] Range

Instances

Data C_BASIC_ITEM
Show C_BASIC_ITEM
ShATermConvertible C_BASIC_ITEM
GetRange C_BASIC_ITEM
Pretty C_BASIC_ITEM
AParsable C_BASIC_ITEM
Typeable * C_BASIC_ITEM
MinSL Bool C_BASIC_ITEM
ProjBasic Bool C_BASIC_ITEM C_SIG_ITEM C_FORMULA
Syntax CoCASL C_BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis CoCASL C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol
Logic CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol ()
Comorphism CoCFOL2IsabelleHOL CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol () Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism CoCASL2CoPCFOL CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol () CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol ()
Comorphism CoCASL2CoSubCFOL CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol () CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol ()
Comorphism CASL2CoCASL CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol ()

data C_SIG_ITEM

Constructors

CoDatatype_items [Annoted CODATATYPE_DECL] Range

Instances

Data C_SIG_ITEM
Show C_SIG_ITEM
ShATermConvertible C_SIG_ITEM
GetRange C_SIG_ITEM
Pretty C_SIG_ITEM
AParsable C_SIG_ITEM
Typeable * C_SIG_ITEM
MinSL Bool C_SIG_ITEM
ProjSigItem Bool C_SIG_ITEM C_FORMULA
ProjBasic Bool C_BASIC_ITEM C_SIG_ITEM C_FORMULA
Syntax CoCASL C_BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis CoCASL C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol
Logic CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol ()
Comorphism CoCFOL2IsabelleHOL CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol () Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism CoCASL2CoPCFOL CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol () CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol ()
Comorphism CoCASL2CoSubCFOL CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol () CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol ()
Comorphism CASL2CoCASL CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol ()

data CODATATYPE_DECL

Constructors

CoDatatype_decl SORT [Annoted COALTERNATIVE] Range

Instances

Data CODATATYPE_DECL
Show CODATATYPE_DECL
ShATermConvertible CODATATYPE_DECL
GetRange CODATATYPE_DECL
Pretty CODATATYPE_DECL
Typeable * CODATATYPE_DECL

data COALTERNATIVE

Constructors

Co_construct OpKind (Maybe OP_NAME) [COCOMPONENTS] Range
CoSubsorts [SORT] Range

Instances

Data COALTERNATIVE
Show COALTERNATIVE
ShATermConvertible COALTERNATIVE
GetRange COALTERNATIVE
Pretty COALTERNATIVE
Typeable * COALTERNATIVE

data COCOMPONENTS

Constructors

CoSelect [OP_NAME] OP_TYPE Range

Instances

Data COCOMPONENTS
Show COCOMPONENTS
ShATermConvertible COCOMPONENTS
GetRange COCOMPONENTS
Pretty COCOMPONENTS
Typeable * COCOMPONENTS

data MODALITY

Constructors

Simple_mod SIMPLE_ID
Term_mod (TERM C_FORMULA)

Instances

Eq MODALITY
Data MODALITY
Ord MODALITY
Show MODALITY
ShATermConvertible MODALITY
GetRange MODALITY
Pretty MODALITY
Typeable * MODALITY

data C_FORMULA

Constructors

BoxOrDiamond Bool MODALITY (FORMULA C_FORMULA) Range
CoSort_gen_ax [SORT] [OP_SYMB] Bool

Instances

Eq C_FORMULA
Data C_FORMULA
Ord C_FORMULA
Show C_FORMULA
ShATermConvertible C_FORMULA
GetRange C_FORMULA
Pretty C_FORMULA
TermParser C_FORMULA
FormExtension C_FORMULA
TermExtension C_FORMULA
Typeable * C_FORMULA
ProjForm Bool C_FORMULA
MinSL Bool C_FORMULA
ProjSigItem Bool C_SIG_ITEM C_FORMULA
ProjBasic Bool C_BASIC_ITEM C_SIG_ITEM C_FORMULA
Sentences CoCASL CoCASLFORMULA CSign CoCASLMor Symbol
Syntax CoCASL C_BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis CoCASL C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol
Logic CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol ()
Comorphism CoCFOL2IsabelleHOL CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol () Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism CoCASL2CoPCFOL CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol () CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol ()
Comorphism CoCASL2CoSubCFOL CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol () CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol ()
Comorphism CASL2CoCASL CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol ()