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 };