Browse Source

oops. missed a brace

tempestpy_adaptions
Sebastian Junges 5 years ago
parent
commit
bb0b14bfa2
  1. 1
      src/storm-pomdp-cli/settings/modules/POMDPSettings.cpp

1
src/storm-pomdp-cli/settings/modules/POMDPSettings.cpp

@ -85,6 +85,7 @@ namespace storm {
std::string POMDPSettings::getMemlessSearchMethod() const { std::string POMDPSettings::getMemlessSearchMethod() const {
return this->getOption(memlessSearchOption).getArgumentByName("method").getValueAsString(); return this->getOption(memlessSearchOption).getArgumentByName("method").getValueAsString();
}
bool POMDPSettings::isLimitExplorationSet() const { bool POMDPSettings::isLimitExplorationSet() const {
return this->getOption(limitBeliefExplorationOption).getHasOptionBeenSet(); return this->getOption(limitBeliefExplorationOption).getHasOptionBeenSet();

Loading…
Cancel
Save