In file hl.h:

KRIPKE_STRUCT_t* KRIPKE_STRUCT_new

(unsigned int worldNum,
  unsigned int modNum,
  unsigned int propSymNum,
  unsigned int nominalNum)

Create a new Kripke structure.

Documentation

Create a new Kripke structure.

Parameters:
- worldNum the number of worlds in the structure
- modNum the number of modalities
- propSymNum the number of propositional symbols
- nominalNum the number of modalities (at least 0)
Returns:
the new Kripke structure The new KS is empty: no world is accessibile from any other, all propositional symbols are false and all nominals are unassigned.

Alphabetic index



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