In file hl.h:

void KRIPKE_STRUCT_setAccessibile

(KRIPKE_STRUCT_t* ks,
  unsigned int modalityId,
  unsigned int fromWorldId,
  unsigned int toWorldId,
  HL_BOOLEAN accessibility)

Set the accessibility of a world in a KS from another given a modality

Documentation

Set the accessibility of a world in a KS from another given a modality

Parameters:
ks - the Kripke structure
- modalityId the identifier of the modality
fromWorldId - the identifier of the source world
toWorldId - the identificer of the target world
accessibility - HL_TRUE iff the target world is accessibile from the source one according to given modality, HL_FALSE otherwise

Alphabetic index



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