Public Member Functions | |
void | dispose () |
![]() | |
void | dispose () |
Protected Member Functions | |
void | finalize () |
Internal base class for interfacing with native Z3 objects. Should not be used externally.
Definition at line 24 of file Z3Object.java.
|
inline |
Disposes of the underlying native Z3 object.
Definition at line 37 of file Z3Object.java.
Referenced by Z3Object.finalize().
|
inlineprotected |
Finalizer.
Definition at line 29 of file Z3Object.java.