In file hl.h:(KRIPKE_STRUCT_t* ks,
unsigned int propSymId,
unsigned int worldId,
HL_BOOLEAN truthAssign)
Set the truth assignment of a propositional symbol in a world of the KS.
Documentation
Set the truth 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
truthAssign - 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++.