Z3
Protected Member Functions
ConstructorList Class Reference
+ Inheritance diagram for ConstructorList:

Protected Member Functions

void finalize ()
 
- Protected Member Functions inherited from Z3Object
void finalize ()
 

Additional Inherited Members

- Public Member Functions inherited from Z3Object
void dispose ()
 
- Public Member Functions inherited from IDisposable
void dispose ()
 

Detailed Description

Lists of constructors

Definition at line 23 of file ConstructorList.java.

Member Function Documentation

void finalize ( )
inlineprotected

Destructor.

Exceptions
Z3Exceptionon error

Definition at line 29 of file ConstructorList.java.

30  {
31  Native.delConstructorList(getContext().nCtx(), getNativeObject());
32  }