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

Hybrid.AS_Hybrid

Description

Abstract syntax for hybrid logic extension of CASL Only the added syntax is specified

Documentation

Constructors

Simple_mod_decl [Annoted SIMPLE_ID] [AnHybFORM] Range
Term_mod_decl [Annoted SORT] [AnHybFORM] Range
Simple_nom_decl [Annoted SIMPLE_ID] [AnHybFORM] Range

Constructors

Rigid
Flexible

Instances

Constructors

Simple_mod SIMPLE_ID
Term_mod (TERM H_FORMULA)

Instances

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

Constructors

Instances

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

Constructors

At NOMINAL (FORMULA H_FORMULA) Range
BoxOrDiamond Bool MODALITY (FORMULA H_FORMULA) Range
Here NOMINAL Range
Univ NOMINAL (FORMULA H_FORMULA) Range
Exist NOMINAL (FORMULA H_FORMULA) Range

Data H_BASIC_ITEM
Show H_BASIC_ITEM
ShATermConvertible H_BASIC_ITEM
GetRange H_BASIC_ITEM
Pretty H_BASIC_ITEM
AParsable H_BASIC_ITEM
Typeable * H_BASIC_ITEM
Syntax Hybrid H_BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis Hybrid H_BASIC_SPEC HybridFORMULA SYMB_ITEMS SYMB_MAP_ITEMS HSign HybridMor Symbol RawSymbol
Logic Hybrid () H_BASIC_SPEC HybridFORMULA SYMB_ITEMS SYMB_MAP_ITEMS HSign HybridMor Symbol RawSymbol ()
Comorphism CASL2Hybrid CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Hybrid () H_BASIC_SPEC HybridFORMULA SYMB_ITEMS SYMB_MAP_ITEMS HSign HybridMor Symbol RawSymbol ()

Data H_SIG_ITEM
Show H_SIG_ITEM
ShATermConvertible H_SIG_ITEM
GetRange H_SIG_ITEM
Pretty H_SIG_ITEM
AParsable H_SIG_ITEM
Typeable * H_SIG_ITEM
Syntax Hybrid H_BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis Hybrid H_BASIC_SPEC HybridFORMULA SYMB_ITEMS SYMB_MAP_ITEMS HSign HybridMor Symbol RawSymbol
Logic Hybrid () H_BASIC_SPEC HybridFORMULA SYMB_ITEMS SYMB_MAP_ITEMS HSign HybridMor Symbol RawSymbol ()
Comorphism CASL2Hybrid CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Hybrid () H_BASIC_SPEC HybridFORMULA SYMB_ITEMS SYMB_MAP_ITEMS HSign HybridMor Symbol RawSymbol ()

Eq H_FORMULA
Data H_FORMULA
Ord H_FORMULA
Show H_FORMULA
ShATermConvertible H_FORMULA
GetRange H_FORMULA
Pretty H_FORMULA
TermParser H_FORMULA
FormExtension H_FORMULA
TermExtension H_FORMULA
Typeable * H_FORMULA
Sentences Hybrid HybridFORMULA HSign HybridMor Symbol
Syntax Hybrid H_BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis Hybrid H_BASIC_SPEC HybridFORMULA SYMB_ITEMS SYMB_MAP_ITEMS HSign HybridMor Symbol RawSymbol
Logic Hybrid () H_BASIC_SPEC HybridFORMULA SYMB_ITEMS SYMB_MAP_ITEMS HSign HybridMor Symbol RawSymbol ()
Comorphism CASL2Hybrid CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Hybrid () H_BASIC_SPEC HybridFORMULA SYMB_ITEMS SYMB_MAP_ITEMS HSign HybridMor Symbol RawSymbol ()

Rigid_op_items RIGOR [Annoted (OP_ITEM H_FORMULA)] Range
Rigid_pred_items RIGOR [Annoted (PRED_ITEM H_FORMULA)] Range