Method isVar

src/api/java/AST.java:143–146

Indicates whether the AST is a BoundVariable. @return a boolean @throws Z3Exception on error

()

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

    /**
     * Indicates whether the AST is a Quantifier