In file hl.h:

HL_BOOLEAN KRIPKE_STRUCT_isValidNominalId

(KRIPKE_STRUCT_t* ks,
  unsigned int nominalId)

Check if a nominal identifier is valid in a given KS

Documentation

Check if a nominal identifier is valid in a given KS

Parameters:
ks - the Kripke structure
- nominalId the nominal identifier
- HL_TRUE iff the nominal identifier is defined, HL_FALSE otherwise

Alphabetic index



This page was generated with the help of DOC++.