Added forward declarations for quantified expressions.

This commit is contained in:
Patrick Lühne 2016-09-06 17:41:04 +02:00
parent faa920e1ad
commit bd2ef96216

View File

@ -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>;