From 77d755526859d22072081fa9d99dca773f6d55c1 Mon Sep 17 00:00:00 2001 From: dehnert Date: Sun, 26 Oct 2014 16:58:49 +0100 Subject: [PATCH] Added random order for state elimination. Former-commit-id: 0deed506c68c6b4a02e6013ad956278e6ddd0bde --- src/settings/modules/ParametricSettings.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/settings/modules/ParametricSettings.cpp b/src/settings/modules/ParametricSettings.cpp index c979e8b0f..6cc8aaeb2 100644 --- a/src/settings/modules/ParametricSettings.cpp +++ b/src/settings/modules/ParametricSettings.cpp @@ -16,7 +16,7 @@ namespace storm { const std::string ParametricSettings::exportResultDestinationPathOptionName = "resultfile"; ParametricSettings::ParametricSettings(storm::settings::SettingsManager& settingsManager) : ModuleSettings(settingsManager, moduleName) { - std::vector orders = {"fw", "fwrev", "bw", "bwrev"}; + std::vector orders = {"fw", "fwrev", "bw", "bwrev", "rand"}; this->addOption(storm::settings::OptionBuilder(moduleName, eliminationOrderOptionName, true, "The order that is to be used for the elimination techniques. Available are {fw, fwrev, bw, bwrev, rand}.").addArgument(storm::settings::ArgumentBuilder::createStringArgument("name", "The name of the order in which states are chosen for elimination.").addValidationFunctionString(storm::settings::ArgumentValidators::stringInListValidator(orders)).setDefaultValueString("bw").build()).build()); std::vector methods = {"state", "hybrid"};