00001 00018 package com.microsoft.z3; 00019 00023 public class BitVecSort extends Sort 00024 { 00028 public int getSize() throws Z3Exception 00029 { 00030 return Native.getBvSortSize(getContext().nCtx(), getNativeObject()); 00031 } 00032 00033 BitVecSort(Context ctx, long obj) throws Z3Exception 00034 { 00035 super(ctx, obj); 00036 } 00037 };