In file hl.h:

typedef struct HL_FORMULA_s

HL formula with model evaluation.

[more]size_t size
size (complexity) of the formula
[more]struct HL_FORMULA_s* parent
reference to parent element in formula's tree
[more]KRIPKE_STRUCT_t* model
formula's model
[more]HL_BOOLEAN* worldEvals
evalutation of the formula in a model's world
[more]enum kind of the formula
[more]union value of the formula (polimorphic)


Documentation

HL formula with model evaluation.

This polimorphic recursive type represents HL formula's expression trees with the corresponding evalutation in a given model (if any).

osize_t size
size (complexity) of the formula

ostruct HL_FORMULA_s* parent
reference to parent element in formula's tree

oKRIPKE_STRUCT_t* model
formula's model

oHL_BOOLEAN* worldEvals
evalutation of the formula in a model's world

oenum kind of the formula
kind of the formula

o trueK
boolean constant T

o falseK
boolean constant F

o propK
formula like: p, q, r,

o nomK
formula like: i, j, k,

o wvarK
formula like: x, y, z,

o negK
formula like: not(alpha)

o andK
formula like: alpha and beta

o diaK
formula like: <pi> alpha

o invDiaK
formula like: <pi>- alpha

o existsK
formula like: E alpha

o atNomK
formula like: @i alpha

o atWVarK
formula like: @x alpha

o bindWVarK
formula like: ^xalpha

ounion value of the formula (polimorphic)
value of the formula (polimorphic)

ounsigned int identifier
identifier of the propositional symbol or nominal or world variable (kind == propK or kind == nomK or kind == wvarK)

ostruct formula like: alpha and beta (kind == andK)
formula like: alpha and beta (kind == andK)

ostruct HL_FORMULA_s* leftExp
reference to left sub expression alpha

ostruct HL_FORMULA_s* rightExp
reference to right sub expression beta

ostruct formula like not(alpha) or E alpha (kind == negK or kind == existsK)
formula like not(alpha) or E alpha (kind == negK or kind == existsK)

ostruct HL_FORMULA_s* exp
reference to subexpression alpha

o existsE

ostruct formula like <pi> alpha or <pi>- alpha (kind == diaK or kind == invDiaK)
formula like <pi> alpha or <pi>- alpha (kind == diaK or kind == invDiaK)

ounsigned int modalityId
modality's identifier pi

ostruct HL_FORMULA_s* exp
reference to subexpression alpha

o invDiaE

ostruct formula like: @i alpha kind == atNomK
formula like: @i alpha kind == atNomK

ounsigned int nominalId
nominal's identifier i

ostruct HL_FORMULA_s* exp
reference to subexpression alpha

ostruct formula like @x alpha or ^xalpha (kind == atWVarK or kind == bindWVarK)
formula like @x alpha or ^xalpha (kind == atWVarK or kind == bindWVarK)

ounsigned int wvarId
world variable's identifier x

ostruct HL_FORMULA_s* exp
reference to subexpression alpha

o bindWVarE

Alphabetic index



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