SymbolicModel: getLabels

src/storm/models/symbolic/Model.cpp

@@ -203,6 +203,15 @@ namespace storm {
                 this->printModelInformationHeaderToStream(out);
                 this->printModelInformationFooterToStream(out);
             }
+
+            template<storm::dd::DdType Type, typename ValueType>
+            std::vector<std::string> Model<Type, ValueType>::getLabels() const {
+                std::vector<std::string> labels;
+                for(auto const& entry : labelToExpressionMap) {
+                    labels.push_back(entry.first);
+                }
+                return labels;
+            }
             
             template<storm::dd::DdType Type, typename ValueType>
             void Model<Type, ValueType>::printModelInformationHeaderToStream(std::ostream& out) const {

src/storm/models/symbolic/Model.h

@@ -259,6 +259,8 @@ namespace storm {
                 virtual void printModelInformationToStream(std::ostream& out) const override;
                 
                 virtual bool isSymbolicModel() const override;
+
+                std::vector<std::string> getLabels() const;
                 
             protected: