Method isQuantifier

src/api/java/AST.java:153–156

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

()

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

    /**
     * Indicates whether the AST is a Sort