In file hl.h:

HL_BOOLEAN KRIPKE_STRUCT_isValidModalityId

(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++.