Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Public Member Functions
IDisposable Class Reference
+ Inheritance diagram for IDisposable:

Public Member Functions

void dispose () throws Z3Exception

Detailed Description

Definition at line 22 of file IDisposable.java.


Member Function Documentation

void dispose ( ) throws Z3Exception [inline]

Reimplemented in Context, and Z3Object.

Definition at line 24 of file IDisposable.java.

        {
        }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines