Method isFuncDecl

src/api/java/AST.java:169–172

Indicates whether the AST is a FunctionDeclaration

()

     * Indicates whether the AST is a FunctionDeclaration
     **/
    public boolean isFuncDecl()
    {
        return this.getASTKind() == Z3_ast_kind.Z3_FUNC_DECL_AST;
    }

    /**
     * A string representation of the AST.