/**
  *
  *                  OOAS Compiler - C++ AST
  *
  * Copyright 2015, AIT Austrian Institute of Technology.
  * All rights reserved.
  *
  * SEE THE "LICENSE" FILE FOR THE TERMS UNDER WHICH THIS FILE IS PROVIDED.
  *
  * If you modify the file please update the list of contributors below to in-
  * clude your name. Please also stick to the coding convention of using TABs
  * to do the basic (block-level) indentation and spaces for anything after
  * that. (Enable the display of special chars and it should be pretty obvious
  * what this means.) Also, remove all trailing whitespace.
  *
  * Contributors:
  *               Willibald Krenn (AIT)
  *               Stephan Zimmerer (AIT)
  *               Christoph Czurda (AIT)
  *
  */




#pragma once

#include <ast/expressions/Quantifier.hpp>
#include <ast/IAstVisitor.hpp>

namespace Ast {

class ExistsQuantifier final
	: public Quantifier
{
protected:
	ExistsQuantifier():
		Quantifier(ExpressionKind::exists)
	{};
	ExistsQuantifier(const ExistsQuantifier &toCopy):
		Quantifier(toCopy)
	{};

	static ExistsQuantifier* create(ExpressionKind) {return new ExistsQuantifier();}
	static ExistsQuantifier* createCopy(const ExistsQuantifier& toCopy) {return new ExistsQuantifier(toCopy);}
public:
	friend class Ast;
	friend class Expression;

	void accept(IAstVisitor& visitor) override {visitor.visit(this);};
};

}