From bd2ef96216ef6f66c2c52f6deb7b614040080cc6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Tue, 6 Sep 2016 17:41:04 +0200
Subject: [PATCH] Added forward declarations for quantified expressions.

---
 include/plasp/pddl/Expression.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/include/plasp/pddl/Expression.h b/include/plasp/pddl/Expression.h
index 5542ccb..9d1e235 100644
--- a/include/plasp/pddl/Expression.h
+++ b/include/plasp/pddl/Expression.h
@@ -46,6 +46,12 @@ using DummyPointer = boost::intrusive_ptr<Dummy>;
 class Either;
 using EitherPointer = boost::intrusive_ptr<Either>;
 
+class Exists;
+using ExistsPointer = boost::intrusive_ptr<Exists>;
+
+class ForAll;
+using ForAllPointer = boost::intrusive_ptr<ForAll>;
+
 class Imply;
 using ImplyPointer = boost::intrusive_ptr<Imply>;