Z3
BitVecSort.java
Go to the documentation of this file.
1
18package com.microsoft.z3;
19
23public 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};
static int getBvSortSize(long a0, long a1)
Definition: Native.java:2702