In file hl.h:

void KRIPKE_STRUCT_setNominalAssign

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