Method isApp

src/api/java/AST.java:133–136

Indicates whether the AST is an application @return a boolean @throws Z3Exception on error

()

     * @throws Z3Exception on error
     **/
    public boolean isApp()
    {
        return this.getASTKind() == Z3_ast_kind.Z3_APP_AST;
    }

    /**
     * Indicates whether the AST is a BoundVariable.