In file hl.h:

HL_BOOLEAN KRIPKE_STRUCT_isValidPropSymId

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