In file hl.h:(KRIPKE_STRUCT_t* ks,
unsigned int nominalId,
unsigned int worldId)
Set the assignment of a nominal in a KS.
Documentation
Set the assignment of a nominal in a KS.
- Parameters:
- ks - the Kripke structure
- nominalId the identifier of the propositional symbol
worldId - the identifier of the world to which the nominal is assigned,
HL_UNASSIGNED
if it is unassigned
Alphabetic index
This page was generated with the help of DOC++.