In file hl.h:
void
KRIPKE_STRUCT_delete
(KRIPKE_STRUCT_t* ks)
Delete a Kripke structure.
Documentation
Delete a Kripke structure.
Parameters:
ks
- the Kripke structure to delete
Alphabetic index
This page was generated with the help of
DOC++
.