|
/**
|
|
*
|
|
* 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 ForallQuantifier final
|
|
: public Quantifier
|
|
{
|
|
protected:
|
|
ForallQuantifier():
|
|
Quantifier(ExpressionKind::forall)
|
|
{};
|
|
ForallQuantifier(const ForallQuantifier& toCopy):
|
|
Quantifier(toCopy)
|
|
{};
|
|
|
|
static ForallQuantifier* create(ExpressionKind) {return new ForallQuantifier();};
|
|
static ForallQuantifier* createCopy(const ForallQuantifier& toCopy) {return new ForallQuantifier(toCopy);};
|
|
public:
|
|
friend class Ast;
|
|
friend class Expression;
|
|
|
|
void accept(IAstVisitor& visitor) override {visitor.visit(this);};
|
|
};
|
|
}
|