Method getSortSize

src/api/java/BitVecExpr.java:32–35

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

()

     * @return an int
     **/
    public int getSortSize()
    {
        return ((BitVecSort) getSort()).getSize();
    }

    /**
     * Constructor for BitVecExpr