From 235f335579d2a5a46f44164acf97ebd739e35387 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Sun, 24 May 2020 11:02:30 -0700 Subject: [PATCH] typo --- simplest.pomdp | 18 ++++++++++++++++++ .../modules/MultiObjectiveSettings.cpp | 2 +- 2 files changed, 19 insertions(+), 1 deletion(-) create mode 100644 simplest.pomdp diff --git a/simplest.pomdp b/simplest.pomdp new file mode 100644 index 000000000..b27e800cb --- /dev/null +++ b/simplest.pomdp @@ -0,0 +1,18 @@ +pomdp + +observable "end" = s=5; +observable "trap" = s=4; + +module main + s : [0..5] init 0; + [a] s = 0 -> 0.25: (s'=1) + 0.25: (s'=2) + 0.5:(s'=3); + [b] s=0 -> 0.5: (s'=1) + 0.5: (s'=2); + [a] s=1 -> (s'=2); + [a] s=2 -> (s'=1); + [b] s=1 -> (s'=4); + [b] s=2 -> (s'=5); + [a] s=3 -> (s'=5); + [b] s=3 -> (s'=5); +endmodule + +label "goal" = s=5; \ No newline at end of file diff --git a/src/storm/settings/modules/MultiObjectiveSettings.cpp b/src/storm/settings/modules/MultiObjectiveSettings.cpp index 88bed4bf3..f62e7b398 100644 --- a/src/storm/settings/modules/MultiObjectiveSettings.cpp +++ b/src/storm/settings/modules/MultiObjectiveSettings.cpp @@ -37,7 +37,7 @@ namespace storm { .addArgument(storm::settings::ArgumentBuilder::createUnsignedIntegerArgument("memorystates", "The Number of memory states (only if supported by the pattern).").setDefaultValueUnsignedInteger(0).makeOptional().build()).build()); this->addOption(storm::settings::OptionBuilder(moduleName, printResultsOptionName, true, "Prints intermediate results of the computation to standard output.").setIsAdvanced().build()); std::vector encodingTypes = {"auto", "classic", "flow"}; - this->addOption(storm::settings::OptionBuilder(moduleName, encodingOptionName, true, "The prefered type of encoding for constraint-based methods.").setIsAdvanced() + this->addOption(storm::settings::OptionBuilder(moduleName, encodingOptionName, true, "The preferred type of encoding for constraint-based methods.").setIsAdvanced() .addArgument(storm::settings::ArgumentBuilder::createStringArgument("type", "The type.").setDefaultValueString("auto").addValidatorString(ArgumentValidatorFactory::createMultipleChoiceValidator(encodingTypes)).build()).build()); }