QualitativePOMDPAnalysisSettings.cpp File Reference

#include "storm-pomdp-cli/settings/modules/QualitativePOMDPAnalysisSettings.h"
#include "storm/settings/ArgumentBuilder.h"
#include "storm/settings/Option.h"
#include "storm/settings/OptionBuilder.h"
#include "storm/settings/SettingMemento.h"
#include "storm/settings/SettingsManager.h"
#include "storm/exceptions/InvalidArgumentException.h"

Include dependency graph for QualitativePOMDPAnalysisSettings.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::settings
namespace	storm::settings::modules

Variables
const std::string	storm::settings::modules::exportSATCallsOption = "exportSATcallspath"
const std::string	storm::settings::modules::lookaheadHorizonOption = "lookaheadhorizon"
const std::string	storm::settings::modules::onlyDeterministicOption = "onlydeterministic"
const std::string	storm::settings::modules::winningRegionOption = "winningregion"
const std::string	storm::settings::modules::validationLevel = "validate"
const std::string	storm::settings::modules::lookaheadTypeOption = "lookaheadtype"
const std::string	storm::settings::modules::expensiveStatsOption = "allstats"
const std::string	storm::settings::modules::printWinningRegionOption = "printwinningregion"
const std::string	storm::settings::modules::exportWinningRegionOption = "exportwinningregion"
const std::string	storm::settings::modules::preventGraphPreprocessing = "nographprocessing"
const std::string	storm::settings::modules::beliefSupportMCOption = "belsupmc"
const std::string	storm::settings::modules::memlessSearchOption = "memlesssearch"
std::vector< std::string >	storm::settings::modules::memlessSearchMethods = {"one-shot", "iterative"}