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