Z3
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

Definition at line 24 of file IDisposable.java.

25  {
26  }