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