In file hl-model.c:
typedef struct
TRUTH_ASSIGNMENT_s
unsigned int
identifier
char*
worldLabels
Documentation
unsigned int identifier
char* worldLabels
Alphabetic index
This page was generated with the help of
DOC++
.