diff --git a/src/abstraction/MenuGameAbstractor.h b/src/abstraction/MenuGameAbstractor.h
index a99cd8fdd..98ba1fb9c 100644
--- a/src/abstraction/MenuGameAbstractor.h
+++ b/src/abstraction/MenuGameAbstractor.h
@@ -2,14 +2,16 @@
 
 #include "src/storage/dd/DdType.h"
 
+#include "src/abstraction/MenuGame.h"
+
 namespace storm {
     namespace abstraction {
         
         template <storm::dd::DdType DdType, typename ValueType>
         class MenuGameAbstractor {
-            
-            
-            
+        public:
+            virtual storm::abstraction::MenuGame<DdType, ValueType> abstract() = 0;
+            virtual void refine(std::vector<storm::expressions::Expression> const& predicates) = 0;
         };
         
     }