void CapCert_free (CapCert cert)

Destroys a CapCert

Documentation

Destroys a CapCert.
Parameters:
cert - a pointer to a capability certificate.

alphabetic index hierarchy of classes


this page has been generated automatically by doc++

(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de