Inheritance diagram for ConstructorList:

Protected Member Functions
void	finalize () throws Z3Exception

Protected Member Functions inherited from Z3Object
void	finalize () throws Z3Exception

Additional Inherited Members
Public Member Functions inherited from Z3Object
void	dispose () throws Z3Exception

Public Member Functions inherited from IDisposable
void	dispose () throws Z3Exception

Detailed Description

Lists of constructors

Definition at line 23 of file ConstructorList.java.

Member Function Documentation

void finalize ( ) throws Z3Exception

inlineprotected

Destructor.

Definition at line 28 of file ConstructorList.java.

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