Method isBool

src/api/java/Expr.java:314–319

Indicates whether the term has Boolean sort. @throws Z3Exception on error @return a boolean

()

     * @return a boolean
     **/
    public boolean isBool()
    {
        return (isExpr() && Native.isEqSort(getContext().nCtx(),
                Native.mkBoolSort(getContext().nCtx()),
                Native.getSort(getContext().nCtx(), getNativeObject())));
    }

    /**
     * Indicates whether the term is the constant true.