In file hl-model.h:

typedef struct HL_MODEL_s

Model for HL.

[more]KRIPKE_STRUCT_t* kripkeStruct
the kripke structure of the model
[more]SYMBOL_TABLE_t* propSymTable
the table of propositional symbols
[more]SYMBOL_TABLE_t* nominalTable
the table of nominals
[more]SYMBOL_TABLE_t* modalityTable
the table of modalities of the model
[more]SYMBOL_TABLE_t* worldTable
the table of worlds of the model
[more]const char* modelName
the name of the model


Documentation

Model for HL.

The model is composed by the Kripke structure and the symbol tables of propositional symbols, modalities, nominals and worlds. It can be identified by a name.

oKRIPKE_STRUCT_t* kripkeStruct
the kripke structure of the model

oSYMBOL_TABLE_t* propSymTable
the table of propositional symbols

oSYMBOL_TABLE_t* nominalTable
the table of nominals

oSYMBOL_TABLE_t* modalityTable
the table of modalities of the model

oSYMBOL_TABLE_t* worldTable
the table of worlds of the model

oconst char* modelName
the name of the model

Alphabetic index



This page was generated with the help of DOC++.