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