In file hl.h:(KRIPKE_STRUCT_t* ks,
unsigned int modalityId)
Check if a modality identifier is valid in a given KS
Documentation
Check if a modality identifier is valid in a given KS
- Parameters:
- ks - the Kripke structure
- modalityId the modality identifier
- HL_TRUE
iff the modality identifier is defined, HL_FALSE
otherwise
Alphabetic index
This page was generated with the help of DOC++.