Method isTrue

src/api/java/Expr.java:326–329

Indicates whether the term is the constant true. @throws Z3Exception on error @return a boolean

()

     * @return a boolean
     **/
    public boolean isTrue()
    {
            return isApp() && getFuncDecl().getDeclKind() == Z3_decl_kind.Z3_OP_TRUE;
    }

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