Method getSize

src/api/java/BitVecSort.java:30–33

The size of the bit-vector sort. @throws Z3Exception on error @return an int

()

     * @return an int
     **/
    public int getSize()
    {
        return Native.getBvSortSize(getContext().nCtx(), getNativeObject());
    }

    BitVecSort(Context ctx, long obj)
    {