Z3
src/api/java/ConstructorList.java
Go to the documentation of this file.
00001 
00018 package com.microsoft.z3;
00019 
00023 public class ConstructorList extends Z3Object
00024 {
00028         protected void finalize() throws Z3Exception
00029         {
00030                 Native.delConstructorList(getContext().nCtx(), getNativeObject());
00031         }
00032 
00033         ConstructorList(Context ctx, long obj) throws Z3Exception
00034         {
00035                 super(ctx, obj);
00036         }
00037 
00038         ConstructorList(Context ctx, Constructor[] constructors) throws Z3Exception
00039         {
00040                 super(ctx);
00041 
00042                 setNativeObject(Native.mkConstructorList(getContext().nCtx(),
00043                                 (int) constructors.length,
00044                                 Constructor.arrayToNative(constructors)));
00045         }
00046 }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines