In file hl-model.c:

typedef struct MODEL_PARSER_DATA_s


[more]KRIPKE_STRUCT_t* theModel
[more]const char* modelName
[more]HL_BOOLEAN errorStatus
[more]unsigned int worldCount
[more]unsigned int modalityCount
[more]unsigned int propSymCount
[more]unsigned int nominalCount
[more]LINKED_LIST_t* nominalAssigns
[more]LINKED_LIST_t* propSymAssigns
[more]LINKED_LIST_t* modAccRels
[more]SYMBOL_TABLE_t* propSymTable
[more]SYMBOL_TABLE_t* nominalTable
[more]SYMBOL_TABLE_t* modalityTable
[more]SYMBOL_TABLE_t* worldTable
[more]XML_Parser parser


Documentation

oKRIPKE_STRUCT_t* theModel

oconst char* modelName

oHL_BOOLEAN errorStatus

ounsigned int worldCount

ounsigned int modalityCount

ounsigned int propSymCount

ounsigned int nominalCount

oLINKED_LIST_t* nominalAssigns

oLINKED_LIST_t* propSymAssigns

oLINKED_LIST_t* modAccRels

oSYMBOL_TABLE_t* propSymTable

oSYMBOL_TABLE_t* nominalTable

oSYMBOL_TABLE_t* modalityTable

oSYMBOL_TABLE_t* worldTable

oXML_Parser parser

Alphabetic index



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