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 };
static int getBvSortSize(long a0, long a1)
Definition: Native.java:2357