In file hl.h:

void KRIPKE_STRUCT_setPropSym

(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++.