Variable assignment for HL formulas.
Variable assignment for HL formulas.The variable assignment is expressed assuming that variables are identified by an integer between
0
andwvarNum - 1
and they can assigned to an integer value in the range0..worldNum - 1
denoting a model's world or toHL_UNASSIGNED
if they are unassigned.