From 1207af13a2e491727c26b81a55833e53547f44db Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 9 Aug 2021 15:21:20 +0200
Subject: [PATCH] symbolic and sparse models now have a public member
 `Representation`

---
 src/storm/models/sparse/Model.h   | 2 ++
 src/storm/models/symbolic/Model.h | 3 +++
 2 files changed, 5 insertions(+)

diff --git a/src/storm/models/sparse/Model.h b/src/storm/models/sparse/Model.h
index 962e17dbf..d89a4d772 100644
--- a/src/storm/models/sparse/Model.h
+++ b/src/storm/models/sparse/Model.h
@@ -6,6 +6,7 @@
 #include <boost/optional.hpp>
 
 #include "storm/models/Model.h"
+#include "storm/models/ModelRepresentation.h"
 #include "storm/models/sparse/StateLabeling.h"
 #include "storm/models/sparse/ChoiceLabeling.h"
 #include "storm/storage/sparse/ModelComponents.h"
@@ -34,6 +35,7 @@ namespace storm {
             public:
                 typedef CValueType ValueType;
                 typedef CRewardModelType RewardModelType;
+                static const storm::models::ModelRepresentation Representation = ModelRepresentation::Sparse;
                 
                 Model(Model<ValueType, RewardModelType> const& other) = default;
                 Model& operator=(Model<ValueType, RewardModelType> const& other) = default;
diff --git a/src/storm/models/symbolic/Model.h b/src/storm/models/symbolic/Model.h
index 0146b33b8..7cb738489 100644
--- a/src/storm/models/symbolic/Model.h
+++ b/src/storm/models/symbolic/Model.h
@@ -12,6 +12,7 @@
 #include "storm/storage/dd/Add.h"
 #include "storm/storage/dd/Bdd.h"
 #include "storm/models/Model.h"
+#include "storm/models/ModelRepresentation.h"
 #include "storm/utility/OsDetection.h"
 
 #include "storm-config.h"
@@ -50,6 +51,8 @@ namespace storm {
                 static const storm::dd::DdType DdType = Type;
                 typedef StandardRewardModel<Type, ValueType> RewardModelType;
                 
+                static const storm::models::ModelRepresentation Representation = GetModelRepresentation<DdType>::representation;
+                
                 Model(Model<Type, ValueType> const& other) = default;
                 Model& operator=(Model<Type, ValueType> const& other) = default;