Table of Contents
General stuff
Functions
Variables
- HL_FORMULA_s::kind of the formula ::andK formula like:
alpha and beta
- HL_FORMULA_s::kind of the formula ::atNomK formula like:
@i alpha
- HL_FORMULA_s::kind of the formula ::atWVarK formula like:
@x alpha
- HL_FORMULA_s::kind of the formula ::bindWVarK formula like:
^xalpha
- HL_FORMULA_s::kind of the formula ::diaK formula like:
<pi> alpha
- HL_FORMULA_s::kind of the formula ::existsK formula like:
E alpha
- HL_FORMULA_s::kind of the formula ::falseK boolean constant
F
- HL_FORMULA_s::kind of the formula ::invDiaK formula like:
<pi>- alpha
- HL_FORMULA_s::kind of the formula ::negK formula like:
not(alpha)
- HL_FORMULA_s::kind of the formula ::nomK formula like:
i, j, k,
- HL_FORMULA_s::kind of the formula ::propK formula like:
p, q, r,
- HL_FORMULA_s::kind of the formula ::trueK boolean constant
T
- HL_FORMULA_s::kind of the formula ::wvarK formula like:
x, y, z,
- HL_FORMULA_s::model formula's model
- HL_FORMULA_s::parent reference to parent element in formula's tree
- HL_FORMULA_s::size size (complexity) of the formula
- HL_FORMULA_s::value of the formula (polimorphic) ::bindWVarE
- HL_FORMULA_s::value of the formula (polimorphic) ::existsE
- HL_FORMULA_s::value of the formula (polimorphic) ::formula like
<pi> alpha
or <pi>- alpha
(kind == diaK
or kind == invDiaK
) ::exp reference to subexpression alpha
- HL_FORMULA_s::value of the formula (polimorphic) ::formula like
<pi> alpha
or <pi>- alpha
(kind == diaK
or kind == invDiaK
) ::modalityId modality's identifier pi
- HL_FORMULA_s::value of the formula (polimorphic) ::formula like
@x alpha
or ^xalpha
(kind == atWVarK
or kind == bindWVarK
) ::exp reference to subexpression alpha
- HL_FORMULA_s::value of the formula (polimorphic) ::formula like
@x alpha
or ^xalpha
(kind == atWVarK
or kind == bindWVarK
) ::wvarId world variable's identifier x
- exp:
- HL_FORMULA_s::value of the formula (polimorphic) ::formula like:
@i alpha
kind == atNomK
::nominalId nominal's identifier i
- HL_FORMULA_s::value of the formula (polimorphic) ::formula like:
alpha and beta
(kind == andK
) ::leftExp reference to left sub expression alpha
- HL_FORMULA_s::value of the formula (polimorphic) ::formula like:
alpha and beta
(kind == andK
) ::rightExp reference to right sub expression beta
- HL_FORMULA_s::value of the formula (polimorphic) ::identifier identifier of the propositional symbol or nominal or world variable (
kind == propK
or kind == nomK
or kind == wvarK
)
- HL_FORMULA_s::value of the formula (polimorphic) ::invDiaE
- HL_FORMULA_s::worldEvals evalutation of the formula in a model's world
- KRIPKE_STRUCT_s::accessibilityRels accessibility relations indexed on modality, from world and to world identifiers
- KRIPKE_STRUCT_s::modNum number of modalities
- KRIPKE_STRUCT_s::nominalAssigns nominal assignments expressed as world identifiers indexed on nominal identifiers
- KRIPKE_STRUCT_s::nominalNum number of nominals
- KRIPKE_STRUCT_s::propSymAssigns propositional symbol assignments indexed on propositional symbol and world identifiers
- KRIPKE_STRUCT_s::propSymNum number of propositional symbols
- KRIPKE_STRUCT_s::worldNum number of worlds
- SYMBOL_ARRAY_s::entries indexed collection of symbols
- SYMBOL_ARRAY_s::length length of the collection
- SYMBOL_TABLE_s::hashTable hash table of pairs <label, identifier>
- SYMBOL_TABLE_s::labelCount number of labels in the table
- WVAR_ASSIGNMENT_s::wvarAssigns world variable assignments
- WVAR_ASSIGNMENT_s::wvarNum number of distinct world variable symbols
- kripkeStruct Kripke structure used by HL formula parser
- lineno HL formula parser's line counter
- modalityTable Table of modalities used by HL formula parser
- nominalTable Table of nominals used by HL formula parser
- propSymTable Table of propositional symbols used by HL formula parser
- theFormula HL formula build by the parser
- wvarTable Table of world variables used by HL formula parser
Macros
Enums, Unions, Structs
Typedefs
This page was generated with the help of DOC++.