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; class Either; using EitherPointer = boost::intrusive_ptr; +class Exists; +using ExistsPointer = boost::intrusive_ptr; + +class ForAll; +using ForAllPointer = boost::intrusive_ptr; + class Imply; using ImplyPointer = boost::intrusive_ptr;