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