From 33c189bd32e95c71ff9c70469a37ce4a26e287a2 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Sat, 30 Jun 2018 12:37:02 +0200 Subject: [PATCH] export setting for flattening --- src/storm/settings/modules/JaniExportSettings.cpp | 6 ++++++ src/storm/settings/modules/JaniExportSettings.h | 5 ++++- 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/src/storm/settings/modules/JaniExportSettings.cpp b/src/storm/settings/modules/JaniExportSettings.cpp index a56cbc668..d6275834b 100644 --- a/src/storm/settings/modules/JaniExportSettings.cpp +++ b/src/storm/settings/modules/JaniExportSettings.cpp @@ -16,11 +16,13 @@ namespace storm { const std::string JaniExportSettings::janiFileOptionShortName = "output"; const std::string JaniExportSettings::standardCompliantOptionName = "standard-compliant"; const std::string JaniExportSettings::standardCompliantOptionShortName = "standard"; + const std::string JaniExportSettings::exportFlattenOptionName = "flatten"; JaniExportSettings::JaniExportSettings() : ModuleSettings(moduleName) { this->addOption(storm::settings::OptionBuilder(moduleName, janiFileOptionName, false, "Destination for the jani model.").setShortName(janiFileOptionShortName).addArgument(storm::settings::ArgumentBuilder::createStringArgument("filename", "path to file").build()).build()); this->addOption(storm::settings::OptionBuilder(moduleName, standardCompliantOptionName, false, "Export in standard compliant variant.").setShortName(standardCompliantOptionShortName).build()); + this->addOption(storm::settings::OptionBuilder(moduleName, exportFlattenOptionName, false, "Export in standard compliant variant.").build()); } bool JaniExportSettings::isJaniFileSet() const { @@ -34,6 +36,10 @@ namespace storm { bool JaniExportSettings::isExportAsStandardJaniSet() const { return this->getOption(standardCompliantOptionName).getHasOptionBeenSet(); } + + bool JaniExportSettings::isExportFlattenedSet() const { + return this->getOption(exportFlattenOptionName).getHasOptionBeenSet(); + } void JaniExportSettings::finalize() { diff --git a/src/storm/settings/modules/JaniExportSettings.h b/src/storm/settings/modules/JaniExportSettings.h index 397eb183a..fd6639869 100644 --- a/src/storm/settings/modules/JaniExportSettings.h +++ b/src/storm/settings/modules/JaniExportSettings.h @@ -25,7 +25,9 @@ namespace storm { std::string getJaniFilename() const; bool isExportAsStandardJaniSet() const; - + + bool isExportFlattenedSet() const; + bool check() const override; void finalize() override; @@ -36,6 +38,7 @@ namespace storm { static const std::string janiFileOptionShortName; static const std::string standardCompliantOptionName; static const std::string standardCompliantOptionShortName; + static const std::string exportFlattenOptionName; }; }