Z3 |

FiniteDomainSort.java
Go to the documentation of this file.
1
18 package com.microsoft.z3;
19
23 public class FiniteDomainSort<R> extends Sort
24{
29 public long getSize()
30 {
31 Native.LongPtr res = new Native.LongPtr();
32 Native.getFiniteDomainSortSize(getContext().nCtx(), getNativeObject(), res);
33 return res.value;
34 }
35
36 FiniteDomainSort(Context ctx, long obj)
37 {
38 super(ctx, obj);
39 }
40
41 FiniteDomainSort(Context ctx, Symbol name, long size)
42 {
43 super(ctx, Native.mkFiniteDomainSort(ctx.nCtx(), name.getNativeObject(),
44 size));
45 }
46}
com.microsoft.z3.Context
Definition: Context.java:36
com.microsoft.z3.FiniteDomainSort
Definition: FiniteDomainSort.java:24
com.microsoft.z3.FiniteDomainSort.getSize
long getSize()
Definition: FiniteDomainSort.java:29
com.microsoft.z3.Sort
Definition: Sort.java:27