Z3
Protected Member Functions
ConstructorList Class Reference
+ 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.

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