From 28d2471d4d43f660ffe50dbe41e0c7b4cf393114 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 8 Aug 2016 16:50:22 +0200
Subject: [PATCH] started on menu game abstractor interface
Former-commit-id: 73ca717aec07eb8f030e67c1f09e344aecded09e
---
src/abstraction/MenuGameAbstractor.h | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
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;
};
}