In file hl-model.c:
-
KRIPKE_STRUCT_t* theModel
-
const char* modelName
-
HL_BOOLEAN errorStatus
-
unsigned int worldCount
-
unsigned int modalityCount
-
unsigned int propSymCount
-
unsigned int nominalCount
-
LINKED_LIST_t* nominalAssigns
-
LINKED_LIST_t* propSymAssigns
-
LINKED_LIST_t* modAccRels
-
SYMBOL_TABLE_t* propSymTable
-
SYMBOL_TABLE_t* nominalTable
-
SYMBOL_TABLE_t* modalityTable
-
SYMBOL_TABLE_t* worldTable
-
XML_Parser parser
Documentation
KRIPKE_STRUCT_t* theModel
const char* modelName
HL_BOOLEAN errorStatus
unsigned int worldCount
unsigned int modalityCount
unsigned int propSymCount
unsigned int nominalCount
LINKED_LIST_t* nominalAssigns
LINKED_LIST_t* propSymAssigns
LINKED_LIST_t* modAccRels
SYMBOL_TABLE_t* propSymTable
SYMBOL_TABLE_t* nominalTable
SYMBOL_TABLE_t* modalityTable
SYMBOL_TABLE_t* worldTable
XML_Parser parser
Alphabetic index
This page was generated with the help of DOC++.