Z3
ArraySort.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
23 public class ArraySort extends Sort
24 {
29  public Sort getDomain() throws Z3Exception
30  {
31  return Sort.create(getContext(),
32  Native.getArraySortDomain(getContext().nCtx(), getNativeObject()));
33  }
34 
39  public Sort getRange() throws Z3Exception
40  {
41  return Sort.create(getContext(),
42  Native.getArraySortRange(getContext().nCtx(), getNativeObject()));
43  }
44 
45  ArraySort(Context ctx, long obj) throws Z3Exception
46  {
47  super(ctx, obj);
48  }
49 
50  ArraySort(Context ctx, Sort domain, Sort range) throws Z3Exception
51  {
52  super(ctx, Native.mkArraySort(ctx.nCtx(), domain.getNativeObject(),
53  range.getNativeObject()));
54  }
55 };
static long getArraySortRange(long a0, long a1)
Definition: Native.java:2030
Sort(Context ctx)
Definition: Sort.java:101
static long getArraySortDomain(long a0, long a1)
Definition: Native.java:2021