In file hl.h: 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++.