Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Namespaces | Variables
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
 LabParser.cpp.
 
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"