Z3
src
api
java
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
};
com.microsoft.z3.Native.getArraySortRange
static long getArraySortRange(long a0, long a1)
Definition:
Native.java:2030
com.microsoft.z3.Sort.Sort
Sort(Context ctx)
Definition:
Sort.java:101
com.microsoft.z3.ArraySort.getDomain
Sort getDomain()
Definition:
ArraySort.java:29
com.microsoft.z3.Native.getArraySortDomain
static long getArraySortDomain(long a0, long a1)
Definition:
Native.java:2021
com.microsoft.z3.Context
Definition:
Context.java:27
com.microsoft.z3.Native
Definition:
Native.java:4
com.microsoft.z3.ArraySort
Definition:
ArraySort.java:23
com.microsoft.z3.ArraySort.getRange
Sort getRange()
Definition:
ArraySort.java:39
com.microsoft.z3.Z3Exception
Definition:
Z3Exception.java:25
com.microsoft.z3.Sort
Definition:
Sort.java:26
Generated on Sat Apr 25 2015 18:37:49 for Z3 by
1.8.9.1