Method getSort

src/api/java/Expr.java:263–267

The Sort of the term. @throws Z3Exception on error @return a sort

()

     * @return a sort
     **/
    public R getSort()
    {
        return (R) Sort.create(getContext(),
                Native.getSort(getContext().nCtx(), getNativeObject()));
    }

    /**
     * Indicates whether the term represents a constant.