Copyright	DFKI GmbH 2009
License	GPLv2 or higher, see LICENSE.txt
Maintainer	codruta.liliana@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred

ExtModal.AS_ExtModal

Description

Documentation

type EM_BASIC_SPEC = BASIC_SPEC EM_BASIC_ITEM EM_SIG_ITEM EM_FORMULA

data FrameForm

Constructors

FrameForm
Fields frameVars :: [VAR_DECL] frameForms :: [Annoted (FORMULA EM_FORMULA)] frameFormRange :: Range

Instances

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

data ModDefn

Constructors

ModDefn Bool Bool [Annoted Id] [Annoted FrameForm] Range

Instances

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

data EM_BASIC_ITEM

Constructors

ModItem ModDefn
Nominal_decl [Annoted SIMPLE_ID] Range

Instances

Data EM_BASIC_ITEM
Show EM_BASIC_ITEM
ShATermConvertible EM_BASIC_ITEM
GetRange EM_BASIC_ITEM
Pretty EM_BASIC_ITEM
AParsable EM_BASIC_ITEM
Typeable * EM_BASIC_ITEM
MinSL Sublogic EM_BASIC_ITEM
ProjBasic Sublogic EM_BASIC_ITEM EM_SIG_ITEM EM_FORMULA
Syntax ExtModal EM_BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis ExtModal EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol
Logic ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism CASL2ExtModal CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism ExtModal2CASL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree
Comorphism ExtModal2ExtModalNoSubsorts ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism ExtModal2ExtModalTotal ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism ExtModal2HasCASL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol ()
Comorphism ExtModal2OWL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree

data ModOp

Constructors

Composition
Intersection
Union
OrElse

Instances

Eq ModOp
Data ModOp
Ord ModOp
Show ModOp
ShATermConvertible ModOp
GetRange ModOp
Typeable * ModOp

data MODALITY

Constructors

SimpleMod SIMPLE_ID
TermMod (TERM EM_FORMULA)
ModOp ModOp MODALITY MODALITY
TransClos MODALITY
Guard (FORMULA EM_FORMULA)

Instances

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

data EM_SIG_ITEM

Constructors

Rigid_op_items Bool [Annoted (OP_ITEM EM_FORMULA)] Range
Rigid_pred_items Bool [Annoted (PRED_ITEM EM_FORMULA)] Range

Instances

Data EM_SIG_ITEM
Show EM_SIG_ITEM
ShATermConvertible EM_SIG_ITEM
GetRange EM_SIG_ITEM
Pretty EM_SIG_ITEM
AParsable EM_SIG_ITEM
Typeable * EM_SIG_ITEM
MinSL Sublogic EM_SIG_ITEM
ProjSigItem Sublogic EM_SIG_ITEM EM_FORMULA
ProjBasic Sublogic EM_BASIC_ITEM EM_SIG_ITEM EM_FORMULA
Syntax ExtModal EM_BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis ExtModal EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol
Logic ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism CASL2ExtModal CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism ExtModal2CASL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree
Comorphism ExtModal2ExtModalNoSubsorts ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism ExtModal2ExtModalTotal ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism ExtModal2HasCASL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol ()
Comorphism ExtModal2OWL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree

data BoxOp

Constructors

Box
Diamond
EBox

Instances

Eq BoxOp
Data BoxOp
Ord BoxOp
Show BoxOp
ShATermConvertible BoxOp
GetRange BoxOp
Typeable * BoxOp

data EM_FORMULA

Constructors

PrefixForm FormPrefix (FORMULA EM_FORMULA) Range
UntilSince Bool (FORMULA EM_FORMULA) (FORMULA EM_FORMULA) Range
ModForm ModDefn

Instances

Eq EM_FORMULA
Data EM_FORMULA
Ord EM_FORMULA
Show EM_FORMULA
ShATermConvertible EM_FORMULA
GetRange EM_FORMULA
Pretty EM_FORMULA
TermParser EM_FORMULA
FormExtension EM_FORMULA
TermExtension EM_FORMULA
Typeable * EM_FORMULA
ProjForm Sublogic EM_FORMULA
MinSL Sublogic EM_FORMULA
ProjSigItem Sublogic EM_SIG_ITEM EM_FORMULA
ProjBasic Sublogic EM_BASIC_ITEM EM_SIG_ITEM EM_FORMULA
Sentences ExtModal ExtModalFORMULA ExtModalSign ExtModalMorph Symbol
Syntax ExtModal EM_BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis ExtModal EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol
Logic ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism CASL2ExtModal CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism ExtModal2CASL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree
Comorphism ExtModal2ExtModalNoSubsorts ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism ExtModal2ExtModalTotal ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism ExtModal2HasCASL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol ()
Comorphism ExtModal2OWL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree

BoxOrDiamond BoxOp MODALITY Bool Int
Hybrid Bool SIMPLE_ID
PathQuantification Bool
NextY Bool
StateQuantification Bool Bool
FixedPoint Bool VAR

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