Browse Source

changing abstraction options slightly

tempestpy_adaptions
dehnert 6 years ago
parent
commit
943de2e17c
  1. 2
      src/storm/settings/modules/AbstractionSettings.cpp

2
src/storm/settings/modules/AbstractionSettings.cpp

@ -59,7 +59,7 @@ namespace storm {
std::vector<std::string> solveModes = {"dd", "sparse"};
this->addOption(storm::settings::OptionBuilder(moduleName, solveModeOptionName, true, "Sets how the abstractions are solved.")
.addArgument(storm::settings::ArgumentBuilder::createStringArgument("mode", "The mode to use.").addValidatorString(ArgumentValidatorFactory::createMultipleChoiceValidator(solveModes))
.setDefaultValueString("dd").build())
.setDefaultValueString("sparse").build())
.build());
this->addOption(storm::settings::OptionBuilder(moduleName, addAllGuardsOptionName, true, "Sets whether all guards are added as initial predicates.")

Loading…
Cancel
Save