In file hl.h:

HL_BOOLEAN KRIPKE_STRUCT_isAccessible

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

Check if a world in the KS is accessible from another given a modality.

Documentation

Check if a world in the KS is accessible 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
Returns:
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++.