From c136b9c628b6f3e49cd340a4f3d06c28deb54c82 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 23 Aug 2018 17:15:16 +0200 Subject: [PATCH] Removed old jani file settings --- src/storm-conv/settings/modules/JaniExportSettings.h | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/src/storm-conv/settings/modules/JaniExportSettings.h b/src/storm-conv/settings/modules/JaniExportSettings.h index 2b2d6de7a..99e00ea9b 100644 --- a/src/storm-conv/settings/modules/JaniExportSettings.h +++ b/src/storm-conv/settings/modules/JaniExportSettings.h @@ -14,16 +14,6 @@ namespace storm { */ JaniExportSettings(); - /** - * Retrievew whether the pgcl file option was set - */ - bool isJaniFileSet() const; - - /** - * Retrieves the pgcl file name - */ - std::string getJaniFilename() const; - bool isExportAsStandardJaniSet() const; bool isExportFlattenedSet() const; @@ -42,8 +32,6 @@ namespace storm { static const std::string moduleName; private: - static const std::string janiFileOptionName; - static const std::string janiFileOptionShortName; static const std::string standardCompliantOptionName; static const std::string standardCompliantOptionShortName; static const std::string exportFlattenOptionName;