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