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.Sort
Definition: Sort.java:26
com.microsoft.z3.Native.getBvSortSize
static int getBvSortSize(long a0, long a1)
Definition: Native.java:2702
com.microsoft.z3.Native
Definition: Native.java:4
com.microsoft.z3.Context
Definition: Context.java:35
com.microsoft.z3.BitVecSort
Definition: BitVecSort.java:23
com.microsoft.z3.BitVecSort.getSize
int getSize()
Definition: BitVecSort.java:30