POMDPSettings.cpp File Reference

#include "storm-pomdp-cli/settings/modules/POMDPSettings.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 POMDPSettings.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::settings
namespace	storm::settings::modules

Variables
const std::string	storm::settings::modules::noCanonicOption = "nocanonic"
const std::string	storm::settings::modules::exportAsParametricModelOption = "parametric-drn"
const std::string	storm::settings::modules::beliefExplorationOption = "belief-exploration"
std::vector< std::string >	storm::settings::modules::beliefExplorationModes = {"both", "discretize", "unfold"}
const std::string	storm::settings::modules::qualitativeReductionOption = "qualitativereduction"
const std::string	storm::settings::modules::analyzeUniqueObservationsOption = "uniqueobservations"
const std::string	storm::settings::modules::selfloopReductionOption = "selfloopreduction"
const std::string	storm::settings::modules::memoryBoundOption = "memorybound"
const std::string	storm::settings::modules::memoryPatternOption = "memorypattern"
std::vector< std::string >	storm::settings::modules::memoryPatterns = {"trivial", "fixedcounter", "selectivecounter", "ring", "fixedring", "settablebits", "full"}
const std::string	storm::settings::modules::checkFullyObservableOption = "check-fully-observable"
const std::string	storm::settings::modules::isQualitativeOption = "qualitative-analysis"