Z3
src/api/java/ArraySort.java
Go to the documentation of this file.
00001 
00018 package com.microsoft.z3;
00019 
00023 public class ArraySort extends Sort
00024 {
00029         public Sort getDomain() throws Z3Exception
00030         {
00031                 return Sort.create(getContext(),
00032                                 Native.getArraySortDomain(getContext().nCtx(), getNativeObject()));
00033         }
00034 
00039         public Sort getRange() throws Z3Exception
00040         {
00041                 return Sort.create(getContext(),
00042                                 Native.getArraySortRange(getContext().nCtx(), getNativeObject()));
00043         }
00044 
00045         ArraySort(Context ctx, long obj) throws Z3Exception
00046         {
00047                 super(ctx, obj);
00048         }
00049 
00050         ArraySort(Context ctx, Sort domain, Sort range) throws Z3Exception
00051         {
00052                 super(ctx, Native.mkArraySort(ctx.nCtx(), domain.getNativeObject(),
00053                                 range.getNativeObject()));
00054         }
00055 };
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines