BuildSettings.cpp File Reference

#include "storm/settings/modules/BuildSettings.h"
#include "storm/exceptions/InvalidSettingsException.h"
#include "storm/parser/CSVParser.h"
#include "storm/settings/Argument.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/IllegalArgumentValueException.h"
#include "storm/utility/macros.h"

Include dependency graph for BuildSettings.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::explorationOrderOptionName = "explorder"
const std::string	storm::settings::modules::explorationOrderOptionShortName = "eo"
const std::string	storm::settings::modules::explorationChecksOptionName = "explchecks"
const std::string	storm::settings::modules::explorationChecksOptionShortName = "ec"
const std::string	storm::settings::modules::prismCompatibilityOptionName = "prismcompat"
const std::string	storm::settings::modules::prismCompatibilityOptionShortName = "pc"
const std::string	storm::settings::modules::dontFixDeadlockOptionName = "nofixdl"
const std::string	storm::settings::modules::dontFixDeadlockOptionShortName = "ndl"
const std::string	storm::settings::modules::noBuildOptionName = "nobuild"
const std::string	storm::settings::modules::fullModelBuildOptionName = "buildfull"
const std::string	storm::settings::modules::applyNoMaxProgAssumptionOptionName = "nomaxprog"
const std::string	storm::settings::modules::buildChoiceLabelOptionName = "buildchoicelab"
const std::string	storm::settings::modules::buildChoiceOriginsOptionName = "buildchoiceorig"
const std::string	storm::settings::modules::buildStateValuationsOptionName = "buildstateval"
const std::string	storm::settings::modules::buildObservationValuationsOptionName = "buildobsval"
const std::string	storm::settings::modules::buildAllLabelsOptionName = "build-all-labels"
const std::string	storm::settings::modules::buildOutOfBoundsStateOptionName = "build-out-of-bounds-state"
const std::string	storm::settings::modules::buildOverlappingGuardsLabelOptionName = "build-overlapping-guards-label"
const std::string	storm::settings::modules::noSimplifyOptionName = "no-simplify"
const std::string	storm::settings::modules::bitsForUnboundedVariablesOptionName = "int-bits"
const std::string	storm::settings::modules::performLocationElimination = "location-elimination"
const std::string	storm::settings::modules::explorationStateLimitOptionName = "state-limit"