In file hl.h:

typedef struct KRIPKE_STRUCT_s

Kripke structure for HL.

[more]unsigned int worldNum
number of worlds
[more]unsigned int modNum
number of modalities
[more]unsigned int propSymNum
number of propositional symbols
[more]unsigned int nominalNum
number of nominals
[more]HL_BOOLEAN*** accessibilityRels
accessibility relations indexed on modality, from world and to world identifiers
[more]HL_BOOLEAN** propSymAssigns
propositional symbol assignments indexed on propositional symbol and world identifiers
[more]unsigned int* nominalAssigns
nominal assignments expressed as world identifiers indexed on nominal identifiers


Documentation

Kripke structure for HL.

The Kripke structure is expressed using the following conventions:

ounsigned int worldNum
number of worlds

ounsigned int modNum
number of modalities

ounsigned int propSymNum
number of propositional symbols

ounsigned int nominalNum
number of nominals

oHL_BOOLEAN*** accessibilityRels
accessibility relations indexed on modality, from world and to world identifiers

oHL_BOOLEAN** propSymAssigns
propositional symbol assignments indexed on propositional symbol and world identifiers

ounsigned int* nominalAssigns
nominal assignments expressed as world identifiers indexed on nominal identifiers

Alphabetic index



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