In file hl.h:(KRIPKE_STRUCT_t* ks,
unsigned int propSymId,
unsigned int worldId)
Return the assignment of a propositional symbol in a world of the KS.
Documentation
Return the assignment of a propositional symbol in a world of the KS.
- Parameters:
- ks - the Kripke structure
propSymId - the identifier of the propositional symbol
worldId - the identifier of the world
- Returns:
-
HL_TRUE
iff the propositional symbol is true in the
given world, HL_FALSE
otherwise
Alphabetic index
This page was generated with the help of DOC++.