Method mkBitVecSort

src/api/java/Context.java:222–225

Create a new bit-vector sort.

(int size)

     * Create a new bit-vector sort.
     **/
    public BitVecSort mkBitVecSort(int size)
    {
        return new BitVecSort(this, Native.mkBvSort(nCtx(), size));
    }

    /**
     * Create a new array sort.