In file hl.h:

HL_BOOLEAN KRIPKE_STRUCT_isValidWorldId

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