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

Z3Exception on error

Definition at line 29 of file ConstructorList.java.

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