Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Protected Member Functions | Package Functions
ConstructorList Class Reference
+ Inheritance diagram for ConstructorList:

Protected Member Functions

void finalize () throws Z3Exception

Package Functions

 ConstructorList (Context ctx, long obj) throws Z3Exception
 ConstructorList (Context ctx, Constructor[] constructors) throws Z3Exception

Detailed Description

Lists of constructors

Definition at line 23 of file ConstructorList.java.


Constructor & Destructor Documentation

ConstructorList ( Context  ctx,
long  obj 
) throws Z3Exception [inline, package]

Definition at line 33 of file ConstructorList.java.

        {
                super(ctx, obj);
        }
ConstructorList ( Context  ctx,
Constructor[]  constructors 
) throws Z3Exception [inline, package]

Definition at line 38 of file ConstructorList.java.

        {
                super(ctx);

                setNativeObject(Native.mkConstructorList(getContext().nCtx(),
                                (int) constructors.length,
                                Constructor.arrayToNative(constructors)));
        }

Member Function Documentation

void finalize ( ) throws Z3Exception [inline, protected]

Destructor.

Reimplemented from Z3Object.

Definition at line 28 of file ConstructorList.java.

        {
                Native.delConstructorList(getContext().nCtx(), getNativeObject());
        }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines