In file hl.h:

typedef struct WVAR_ASSIGNMENT_s

Variable assignment for HL formulas.

[more]unsigned int wvarNum
number of distinct world variable symbols
[more]unsigned int* wvarAssigns
world variable assignments


Documentation

Variable assignment for HL formulas.

The variable assignment is expressed assuming that variables are identified by an integer between 0 and wvarNum - 1 and they can assigned to an integer value in the range 0..worldNum - 1 denoting a model's world or to HL_UNASSIGNED if they are unassigned.

ounsigned int wvarNum
number of distinct world variable symbols

ounsigned int* wvarAssigns
world variable assignments

Alphabetic index



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