In file hl-model.c:

typedef struct TRUTH_ASSIGNMENT_s


[more]unsigned int identifier
[more]char* worldLabels


Documentation

ounsigned int identifier

ochar* worldLabels

Alphabetic index



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