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