Z3 |

BitVecSort.java
Go to the documentation of this file.
1
18 package com.microsoft.z3;
19
23 public class BitVecSort extends Sort
24{
30 public int getSize()
31 {
32 return Native.getBvSortSize(getContext().nCtx(), getNativeObject());
33 }
34
35 BitVecSort(Context ctx, long obj)
36 {
37 super(ctx, obj);
38 }
39};
com.microsoft.z3.BitVecSort
Definition: BitVecSort.java:24
com.microsoft.z3.BitVecSort.getSize
int getSize()
Definition: BitVecSort.java:30
com.microsoft.z3.Context
Definition: Context.java:36
com.microsoft.z3.Sort
Definition: Sort.java:27