Classes
class	AbstractionSettings
	This class represents the settings for the abstraction procedures. More...

class	BeliefExplorationSettings
	This class represents the settings for POMDP model checking. More...

class	BisimulationSettings
	This class represents the bisimulation settings. More...

class	BuildSettings

class	ConversionGeneralSettings

class	ConversionInputSettings

class	ConversionOutputSettings

class	CoreSettings
	This class represents the core settings. More...

class	CounterexampleGeneratorSettings
	This class represents the settings for counterexample generation. More...

class	CuddSettings
	This class represents the settings for CUDD. More...

class	DebugSettings
	This class represents the debug settings. More...

class	DerivativeSettings
	This class represents the settings for Gradient Descent. More...

class	EigenEquationSolverSettings
	This class represents the settings for Eigen. More...

class	EliminationSettings
	This class represents the settings for the elimination-based procedures. More...

class	ExplorationSettings
	This class represents the exploration settings. More...

class	FeasibilitySettings
	This class represents the settings for parametric model checking. More...

class	GameSolverSettings
	This class represents the game solver settings. More...

class	GeneralSettings
	This class represents the general settings. More...

class	GlpkSettings
	This class represents the settings for glpk. More...

class	GmmxxEquationSolverSettings
	This class represents the settings for gmm++. More...

class	GSPNExportSettings

class	GSPNSettings

class	GurobiSettings
	This class represents the settings for Gurobi. More...

class	HintSettings
	This class represents the model transformer settings. More...

class	IOSettings
	This class represents the markov chain settings. More...

class	JaniExportSettings

class	LongRunAverageSolverSettings
	This class represents the LRA solver settings. More...

class	MinMaxEquationSolverSettings
	This class represents the min/max solver settings. More...

class	ModelCheckerSettings
	This class represents the general settings. More...

class	ModuleSettings
	This is the base class of the settings for a particular module. More...

class	MonotonicitySettings
	This class represents the settings for monotonicity checking. More...

class	MultiObjectiveSettings
	This class represents the settings for multi-objective model checking. More...

class	MultiplierSettings
	This class represents the multiplier settings. More...

class	NativeEquationSolverSettings
	This class represents the settings for the native equation solver. More...

class	OviSolverSettings
	This class represents the settings for the optimistic value iteration solver. More...

class	ParametricSettings
	This class represents the settings for parametric model checking. More...

class	PartitionSettings
	This class represents the settings for parametric model checking. More...

class	POMDPSettings
	This class represents the settings for POMDP model checking. More...

class	PrismExportSettings

class	QualitativePOMDPAnalysisSettings
	This class represents the settings for POMDP model checking. More...

class	RegionSettings
	This class represents the settings for parametric model checking. More...

class	RegionVerificationSettings

class	ResourceSettings
	This class represents the resource settings. More...

class	SamplingSettings

class	Smt2SmtSolverSettings
	This class represents the settings for interaction with SMT-LIBv2 solvers. More...

class	SylvanSettings
	This class represents the settings for Sylvan. More...

class	TimeBoundedSolverSettings
	This class represents the min/max solver settings. More...

class	ToParametricSettings
	This class represents the settings for POMDP model checking. More...

class	TopologicalEquationSolverSettings
	This class represents the settings for the native equation solver. More...

class	TransformationSettings
	This class represents the model transformer settings. More...

Functions
template void	BeliefExplorationSettings::setValuesInOptionsStruct< storm::RationalNumber > (storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< storm::RationalNumber > &options) const

std::ostream &	operator<< (std::ostream &out, EigenEquationSolverSettings::LinearEquationMethod const &method)

Variables
const std::string	methodOptionName = "method"

const std::string	directionOptionName = "direction"

const std::string	guaranteeOptionName = "guarantee"

const std::string	modeOptionName = "mode"

const std::string	exportResultOptionName = "resultfile"

const std::string	transformContinuousOptionName = "transformcontinuous"

const std::string	transformContinuousShortOptionName = "tc"

const std::string	useMonotonicityName = "use-monotonicity"

const std::string	timeTravellingEnabledName = "time-travel"

const std::string	linearToSimpleEnabledName = "linear-to-simple"

const std::string	requestedCoverageOptionName = "terminationCondition"

const std::string	printNoIllustrationOptionName = "noillustration"

const std::string	printFullResultOptionName = "printfullresult"

const std::string	regionOptionName = "region"

const std::string	regionShortOptionName = "reg"

const std::string	regionBoundOptionName = "regionbound"

const std::string	splittingThresholdName = "splitting-threshold"

const std::string	checkEngineOptionName = "engine"

const std::string	samplesOptionName = "samples"

const std::string	samplesGraphPreservingOptionName = "samples-graph-preserving"

const std::string	sampleExactOptionName = "sample-exact"

const std::string	refineOption = "refine"

const std::string	explorationTimeLimitOption = "exploration-time"

const std::string	resolutionOption = "resolution"

const std::string	clipGridResolutionOption = "clip-resolution"

const std::string	sizeThresholdOption = "size-threshold"

const std::string	gapThresholdOption = "gap-threshold"

const std::string	optimalChoiceValueThresholdOption = "optimal-choice-value-threshold"

const std::string	observationThresholdOption = "obs-threshold"

const std::string	numericPrecisionOption = "numeric-precision"

const std::string	triangulationModeOption = "triangulationmode"

const std::string	clippingOption = "use-clipping"

const std::string	cutZeroGapOption = "cut-zero-gap"

const std::string	stateEliminationCutoffOption = "state-elimination-cutoff"

const std::string	noCanonicOption = "nocanonic"

const std::string	exportAsParametricModelOption = "parametric-drn"

const std::string	beliefExplorationOption = "belief-exploration"

std::vector< std::string >	beliefExplorationModes = {"both", "discretize", "unfold"}

const std::string	qualitativeReductionOption = "qualitativereduction"

const std::string	analyzeUniqueObservationsOption = "uniqueobservations"

const std::string	selfloopReductionOption = "selfloopreduction"

const std::string	memoryBoundOption = "memorybound"

const std::string	memoryPatternOption = "memorypattern"

std::vector< std::string >	memoryPatterns = {"trivial", "fixedcounter", "selectivecounter", "ring", "fixedring", "settablebits", "full"}

const std::string	checkFullyObservableOption = "check-fully-observable"

const std::string	isQualitativeOption = "qualitative-analysis"

const std::string	exportSATCallsOption = "exportSATcallspath"

const std::string	lookaheadHorizonOption = "lookaheadhorizon"

const std::string	onlyDeterministicOption = "onlydeterministic"

const std::string	winningRegionOption = "winningregion"

const std::string	validationLevel = "validate"

const std::string	lookaheadTypeOption = "lookaheadtype"

const std::string	expensiveStatsOption = "allstats"

const std::string	printWinningRegionOption = "printwinningregion"

const std::string	exportWinningRegionOption = "exportwinningregion"

const std::string	preventGraphPreprocessing = "nographprocessing"

const std::string	beliefSupportMCOption = "belsupmc"

const std::string	memlessSearchOption = "memlesssearch"

std::vector< std::string >	memlessSearchMethods = {"one-shot", "iterative"}

const std::string	mecReductionOption = "mecreduction"

const std::string	fscmode = "fscmode"

std::vector< std::string >	fscModes = {"standard", "simple-linear", "simple-linear-inverse"}

const std::string	transformBinaryOption = "transformbinary"

const std::string	transformSimpleOption = "transformsimple"

const std::string	allowSimplificationOption = "simplify-pmc"

const std::string	explorationOrderOptionName = "explorder"

const std::string	explorationOrderOptionShortName = "eo"

const std::string	explorationChecksOptionName = "explchecks"

const std::string	explorationChecksOptionShortName = "ec"

const std::string	prismCompatibilityOptionName = "prismcompat"

const std::string	prismCompatibilityOptionShortName = "pc"

const std::string	dontFixDeadlockOptionName = "nofixdl"

const std::string	dontFixDeadlockOptionShortName = "ndl"

const std::string	noBuildOptionName = "nobuild"

const std::string	fullModelBuildOptionName = "buildfull"

const std::string	applyNoMaxProgAssumptionOptionName = "nomaxprog"

const std::string	buildChoiceLabelOptionName = "buildchoicelab"

const std::string	buildChoiceOriginsOptionName = "buildchoiceorig"

const std::string	buildStateValuationsOptionName = "buildstateval"

const std::string	buildObservationValuationsOptionName = "buildobsval"

const std::string	buildAllLabelsOptionName = "build-all-labels"

const std::string	buildOutOfBoundsStateOptionName = "build-out-of-bounds-state"

const std::string	buildOverlappingGuardsLabelOptionName = "build-overlapping-guards-label"

const std::string	noSimplifyOptionName = "no-simplify"

const std::string	bitsForUnboundedVariablesOptionName = "int-bits"

const std::string	performLocationElimination = "location-elimination"

const std::string	explorationStateLimitOptionName = "state-limit"

static const std::string	methodOption = "method"

static const std::string	integerToleranceOption = "inttol"

static const std::string	threadsOption = "threads"

static const std::string	outputOption = "output"

static const std::string	mipFocusOption = "mipfocus"

static const std::string	concurrentMipThreadsOption = "concurrentmip"

const std::string	stateHintOption = "states"

std::string	preventDRNPlaceholderOptionName = "no-drn-placeholders"

const std::string	solvingMethodOptionName = "method"

const std::string	maximalIterationsOptionName = "maxiter"

const std::string	maximalIterationsOptionShortName = "i"

const std::string	precisionOptionName = "precision"

const std::string	absoluteOptionName = "absolute"

const std::string	valueIterationMultiplicationStyleOptionName = "vimult"

const std::string	forceUniqueSolutionRequirementOptionName = "force-require-unique"

const std::string	lpEqualityForUniqueActionsOptionName = "lp-eq-unique-actions"

const std::string	lpUseNonTrivialBoundsOptionName = "lp-use-nontrivial-bounds"

const std::string	lpOptimizeOnlyInitialStateOptionName = "lp-objective-type"

Function Documentation

◆ BeliefExplorationSettings::setValuesInOptionsStruct< storm::RationalNumber >()

template void storm::settings::modules::BeliefExplorationSettings::setValuesInOptionsStruct< storm::RationalNumber > ( storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< storm::RationalNumber > & options ) const

◆ operator<<()

std::ostream & storm::settings::modules::operator<<	(	std::ostream &	out,
		EigenEquationSolverSettings::LinearEquationMethod const &	method
	)

Definition at line 149 of file EigenEquationSolverSettings.cpp.

Variable Documentation

◆ absoluteOptionName

const std::string storm::settings::modules::absoluteOptionName = "absolute"

Definition at line 19 of file MinMaxEquationSolverSettings.cpp.

◆ allowSimplificationOption

const std::string storm::settings::modules::allowSimplificationOption = "simplify-pmc"

Definition at line 22 of file ToParametricSettings.cpp.

◆ analyzeUniqueObservationsOption

const std::string storm::settings::modules::analyzeUniqueObservationsOption = "uniqueobservations"

Definition at line 21 of file POMDPSettings.cpp.

◆ applyNoMaxProgAssumptionOptionName

const std::string storm::settings::modules::applyNoMaxProgAssumptionOptionName = "nomaxprog"

Definition at line 31 of file BuildSettings.cpp.

◆ beliefExplorationModes

std::vector<std::string> storm::settings::modules::beliefExplorationModes = {"both", "discretize", "unfold"}

Definition at line 19 of file POMDPSettings.cpp.

◆ beliefExplorationOption

const std::string storm::settings::modules::beliefExplorationOption = "belief-exploration"

Definition at line 18 of file POMDPSettings.cpp.

◆ beliefSupportMCOption

const std::string storm::settings::modules::beliefSupportMCOption = "belsupmc"

Definition at line 26 of file QualitativePOMDPAnalysisSettings.cpp.

◆ bitsForUnboundedVariablesOptionName

const std::string storm::settings::modules::bitsForUnboundedVariablesOptionName = "int-bits"

Definition at line 40 of file BuildSettings.cpp.

◆ buildAllLabelsOptionName

const std::string storm::settings::modules::buildAllLabelsOptionName = "build-all-labels"

Definition at line 36 of file BuildSettings.cpp.

◆ buildChoiceLabelOptionName

const std::string storm::settings::modules::buildChoiceLabelOptionName = "buildchoicelab"

Definition at line 32 of file BuildSettings.cpp.

◆ buildChoiceOriginsOptionName

const std::string storm::settings::modules::buildChoiceOriginsOptionName = "buildchoiceorig"

Definition at line 33 of file BuildSettings.cpp.

◆ buildObservationValuationsOptionName

const std::string storm::settings::modules::buildObservationValuationsOptionName = "buildobsval"

Definition at line 35 of file BuildSettings.cpp.

◆ buildOutOfBoundsStateOptionName

const std::string storm::settings::modules::buildOutOfBoundsStateOptionName = "build-out-of-bounds-state"

Definition at line 37 of file BuildSettings.cpp.

◆ buildOverlappingGuardsLabelOptionName

const std::string storm::settings::modules::buildOverlappingGuardsLabelOptionName = "build-overlapping-guards-label"

Definition at line 38 of file BuildSettings.cpp.

◆ buildStateValuationsOptionName

const std::string storm::settings::modules::buildStateValuationsOptionName = "buildstateval"

Definition at line 34 of file BuildSettings.cpp.

◆ checkEngineOptionName

const std::string storm::settings::modules::checkEngineOptionName = "engine"

Definition at line 13 of file RegionVerificationSettings.cpp.

◆ checkFullyObservableOption

const std::string storm::settings::modules::checkFullyObservableOption = "check-fully-observable"

Definition at line 26 of file POMDPSettings.cpp.

◆ clipGridResolutionOption

const std::string storm::settings::modules::clipGridResolutionOption = "clip-resolution"

Definition at line 20 of file BeliefExplorationSettings.cpp.

◆ clippingOption

const std::string storm::settings::modules::clippingOption = "use-clipping"

Definition at line 27 of file BeliefExplorationSettings.cpp.

◆ concurrentMipThreadsOption

const std::string storm::settings::modules::concurrentMipThreadsOption = "concurrentmip"

static

Definition at line 21 of file GurobiSettings.cpp.

◆ cutZeroGapOption

const std::string storm::settings::modules::cutZeroGapOption = "cut-zero-gap"

Definition at line 28 of file BeliefExplorationSettings.cpp.

◆ directionOptionName

const std::string storm::settings::modules::directionOptionName = "direction"

Definition at line 15 of file FeasibilitySettings.cpp.

◆ dontFixDeadlockOptionName

const std::string storm::settings::modules::dontFixDeadlockOptionName = "nofixdl"

Definition at line 27 of file BuildSettings.cpp.

◆ dontFixDeadlockOptionShortName

const std::string storm::settings::modules::dontFixDeadlockOptionShortName = "ndl"

Definition at line 28 of file BuildSettings.cpp.

◆ expensiveStatsOption

const std::string storm::settings::modules::expensiveStatsOption = "allstats"

Definition at line 22 of file QualitativePOMDPAnalysisSettings.cpp.

◆ explorationChecksOptionName

const std::string storm::settings::modules::explorationChecksOptionName = "explchecks"

Definition at line 23 of file BuildSettings.cpp.

◆ explorationChecksOptionShortName

const std::string storm::settings::modules::explorationChecksOptionShortName = "ec"

Definition at line 24 of file BuildSettings.cpp.

◆ explorationOrderOptionName

const std::string storm::settings::modules::explorationOrderOptionName = "explorder"

Definition at line 21 of file BuildSettings.cpp.

◆ explorationOrderOptionShortName

const std::string storm::settings::modules::explorationOrderOptionShortName = "eo"

Definition at line 22 of file BuildSettings.cpp.

◆ explorationStateLimitOptionName

const std::string storm::settings::modules::explorationStateLimitOptionName = "state-limit"

Definition at line 42 of file BuildSettings.cpp.

◆ explorationTimeLimitOption

const std::string storm::settings::modules::explorationTimeLimitOption = "exploration-time"

Definition at line 18 of file BeliefExplorationSettings.cpp.

◆ exportAsParametricModelOption

const std::string storm::settings::modules::exportAsParametricModelOption = "parametric-drn"

Definition at line 17 of file POMDPSettings.cpp.

◆ exportResultOptionName

const std::string storm::settings::modules::exportResultOptionName = "resultfile"

Definition at line 18 of file ParametricSettings.cpp.

◆ exportSATCallsOption

const std::string storm::settings::modules::exportSATCallsOption = "exportSATcallspath"

Definition at line 16 of file QualitativePOMDPAnalysisSettings.cpp.

◆ exportWinningRegionOption

const std::string storm::settings::modules::exportWinningRegionOption = "exportwinningregion"

Definition at line 24 of file QualitativePOMDPAnalysisSettings.cpp.

◆ forceUniqueSolutionRequirementOptionName

const std::string storm::settings::modules::forceUniqueSolutionRequirementOptionName = "force-require-unique"

Definition at line 21 of file MinMaxEquationSolverSettings.cpp.

◆ fscmode

const std::string storm::settings::modules::fscmode = "fscmode"

Definition at line 18 of file ToParametricSettings.cpp.

◆ fscModes

std::vector<std::string> storm::settings::modules::fscModes = {"standard", "simple-linear", "simple-linear-inverse"}

Definition at line 19 of file ToParametricSettings.cpp.

◆ fullModelBuildOptionName

const std::string storm::settings::modules::fullModelBuildOptionName = "buildfull"

Definition at line 30 of file BuildSettings.cpp.

◆ gapThresholdOption

const std::string storm::settings::modules::gapThresholdOption = "gap-threshold"

Definition at line 22 of file BeliefExplorationSettings.cpp.

◆ guaranteeOptionName

const std::string storm::settings::modules::guaranteeOptionName = "guarantee"

Definition at line 16 of file FeasibilitySettings.cpp.

◆ integerToleranceOption

const std::string storm::settings::modules::integerToleranceOption = "inttol"

static

Definition at line 17 of file GurobiSettings.cpp.

◆ isQualitativeOption

const std::string storm::settings::modules::isQualitativeOption = "qualitative-analysis"

Definition at line 27 of file POMDPSettings.cpp.

◆ linearToSimpleEnabledName

const std::string storm::settings::modules::linearToSimpleEnabledName = "linear-to-simple"

Definition at line 23 of file ParametricSettings.cpp.

◆ lookaheadHorizonOption

const std::string storm::settings::modules::lookaheadHorizonOption = "lookaheadhorizon"

Definition at line 17 of file QualitativePOMDPAnalysisSettings.cpp.

◆ lookaheadTypeOption

const std::string storm::settings::modules::lookaheadTypeOption = "lookaheadtype"

Definition at line 21 of file QualitativePOMDPAnalysisSettings.cpp.

◆ lpEqualityForUniqueActionsOptionName

const std::string storm::settings::modules::lpEqualityForUniqueActionsOptionName = "lp-eq-unique-actions"

Definition at line 22 of file MinMaxEquationSolverSettings.cpp.

◆ lpOptimizeOnlyInitialStateOptionName

const std::string storm::settings::modules::lpOptimizeOnlyInitialStateOptionName = "lp-objective-type"

Definition at line 24 of file MinMaxEquationSolverSettings.cpp.

◆ lpUseNonTrivialBoundsOptionName

const std::string storm::settings::modules::lpUseNonTrivialBoundsOptionName = "lp-use-nontrivial-bounds"

Definition at line 23 of file MinMaxEquationSolverSettings.cpp.

◆ maximalIterationsOptionName

const std::string storm::settings::modules::maximalIterationsOptionName = "maxiter"

Definition at line 16 of file MinMaxEquationSolverSettings.cpp.

◆ maximalIterationsOptionShortName

const std::string storm::settings::modules::maximalIterationsOptionShortName = "i"

Definition at line 17 of file MinMaxEquationSolverSettings.cpp.

◆ mecReductionOption

const std::string storm::settings::modules::mecReductionOption = "mecreduction"

Definition at line 16 of file ToParametricSettings.cpp.

◆ memlessSearchMethods

std::vector<std::string> storm::settings::modules::memlessSearchMethods = {"one-shot", "iterative"}

Definition at line 28 of file QualitativePOMDPAnalysisSettings.cpp.

◆ memlessSearchOption

const std::string storm::settings::modules::memlessSearchOption = "memlesssearch"

Definition at line 27 of file QualitativePOMDPAnalysisSettings.cpp.

◆ memoryBoundOption

const std::string storm::settings::modules::memoryBoundOption = "memorybound"

Definition at line 23 of file POMDPSettings.cpp.

◆ memoryPatternOption

const std::string storm::settings::modules::memoryPatternOption = "memorypattern"

Definition at line 24 of file POMDPSettings.cpp.

◆ memoryPatterns

std::vector<std::string> storm::settings::modules::memoryPatterns = {"trivial", "fixedcounter", "selectivecounter", "ring", "fixedring", "settablebits", "full"}

Definition at line 25 of file POMDPSettings.cpp.

◆ methodOption

const std::string storm::settings::modules::methodOption = "method"

static

Definition at line 16 of file GurobiSettings.cpp.

◆ methodOptionName

const std::string storm::settings::modules::methodOptionName = "method"

Definition at line 14 of file FeasibilitySettings.cpp.

◆ mipFocusOption

const std::string storm::settings::modules::mipFocusOption = "mipfocus"

static

Definition at line 20 of file GurobiSettings.cpp.

◆ modeOptionName

const std::string storm::settings::modules::modeOptionName = "mode"

Definition at line 16 of file ParametricSettings.cpp.

◆ noBuildOptionName

const std::string storm::settings::modules::noBuildOptionName = "nobuild"

Definition at line 29 of file BuildSettings.cpp.

◆ noCanonicOption

const std::string storm::settings::modules::noCanonicOption = "nocanonic"

Definition at line 16 of file POMDPSettings.cpp.

◆ noSimplifyOptionName

const std::string storm::settings::modules::noSimplifyOptionName = "no-simplify"

Definition at line 39 of file BuildSettings.cpp.

◆ numericPrecisionOption

const std::string storm::settings::modules::numericPrecisionOption = "numeric-precision"

Definition at line 25 of file BeliefExplorationSettings.cpp.

◆ observationThresholdOption

const std::string storm::settings::modules::observationThresholdOption = "obs-threshold"

Definition at line 24 of file BeliefExplorationSettings.cpp.

◆ onlyDeterministicOption

const std::string storm::settings::modules::onlyDeterministicOption = "onlydeterministic"

Definition at line 18 of file QualitativePOMDPAnalysisSettings.cpp.

◆ optimalChoiceValueThresholdOption

const std::string storm::settings::modules::optimalChoiceValueThresholdOption = "optimal-choice-value-threshold"

Definition at line 23 of file BeliefExplorationSettings.cpp.

◆ outputOption

const std::string storm::settings::modules::outputOption = "output"

static

Definition at line 19 of file GurobiSettings.cpp.

◆ performLocationElimination

const std::string storm::settings::modules::performLocationElimination = "location-elimination"

Definition at line 41 of file BuildSettings.cpp.

◆ precisionOptionName

const std::string storm::settings::modules::precisionOptionName = "precision"

Definition at line 18 of file MinMaxEquationSolverSettings.cpp.

◆ preventDRNPlaceholderOptionName

std::string storm::settings::modules::preventDRNPlaceholderOptionName = "no-drn-placeholders"

Definition at line 58 of file IOSettings.cpp.

◆ preventGraphPreprocessing

const std::string storm::settings::modules::preventGraphPreprocessing = "nographprocessing"

Definition at line 25 of file QualitativePOMDPAnalysisSettings.cpp.

◆ printFullResultOptionName

const std::string storm::settings::modules::printFullResultOptionName = "printfullresult"

Definition at line 15 of file PartitionSettings.cpp.

◆ printNoIllustrationOptionName

const std::string storm::settings::modules::printNoIllustrationOptionName = "noillustration"

Definition at line 14 of file PartitionSettings.cpp.

◆ printWinningRegionOption

const std::string storm::settings::modules::printWinningRegionOption = "printwinningregion"

Definition at line 23 of file QualitativePOMDPAnalysisSettings.cpp.

◆ prismCompatibilityOptionName

const std::string storm::settings::modules::prismCompatibilityOptionName = "prismcompat"

Definition at line 25 of file BuildSettings.cpp.

◆ prismCompatibilityOptionShortName

const std::string storm::settings::modules::prismCompatibilityOptionShortName = "pc"

Definition at line 26 of file BuildSettings.cpp.

◆ qualitativeReductionOption

const std::string storm::settings::modules::qualitativeReductionOption = "qualitativereduction"

Definition at line 20 of file POMDPSettings.cpp.

◆ refineOption

const std::string storm::settings::modules::refineOption = "refine"

Definition at line 17 of file BeliefExplorationSettings.cpp.

◆ regionBoundOptionName

const std::string storm::settings::modules::regionBoundOptionName = "regionbound"

Definition at line 16 of file RegionSettings.cpp.

◆ regionOptionName

const std::string storm::settings::modules::regionOptionName = "region"

Definition at line 14 of file RegionSettings.cpp.

◆ regionShortOptionName

const std::string storm::settings::modules::regionShortOptionName = "reg"

Definition at line 15 of file RegionSettings.cpp.

◆ requestedCoverageOptionName

const std::string storm::settings::modules::requestedCoverageOptionName = "terminationCondition"

Definition at line 13 of file PartitionSettings.cpp.

◆ resolutionOption

const std::string storm::settings::modules::resolutionOption = "resolution"

Definition at line 19 of file BeliefExplorationSettings.cpp.

◆ sampleExactOptionName

const std::string storm::settings::modules::sampleExactOptionName = "sample-exact"

Definition at line 13 of file SamplingSettings.cpp.

◆ samplesGraphPreservingOptionName

const std::string storm::settings::modules::samplesGraphPreservingOptionName = "samples-graph-preserving"

Definition at line 12 of file SamplingSettings.cpp.

◆ samplesOptionName

const std::string storm::settings::modules::samplesOptionName = "samples"

Definition at line 11 of file SamplingSettings.cpp.

◆ selfloopReductionOption

const std::string storm::settings::modules::selfloopReductionOption = "selfloopreduction"

Definition at line 22 of file POMDPSettings.cpp.

◆ sizeThresholdOption

const std::string storm::settings::modules::sizeThresholdOption = "size-threshold"

Definition at line 21 of file BeliefExplorationSettings.cpp.

◆ solvingMethodOptionName

const std::string storm::settings::modules::solvingMethodOptionName = "method"

Definition at line 15 of file MinMaxEquationSolverSettings.cpp.

◆ splittingThresholdName

const std::string storm::settings::modules::splittingThresholdName = "splitting-threshold"

Definition at line 12 of file RegionVerificationSettings.cpp.

◆ stateEliminationCutoffOption

const std::string storm::settings::modules::stateEliminationCutoffOption = "state-elimination-cutoff"

Definition at line 29 of file BeliefExplorationSettings.cpp.

◆ stateHintOption

const std::string storm::settings::modules::stateHintOption = "states"

Definition at line 15 of file HintSettings.cpp.

◆ threadsOption

const std::string storm::settings::modules::threadsOption = "threads"

static

Definition at line 18 of file GurobiSettings.cpp.

◆ timeTravellingEnabledName

const std::string storm::settings::modules::timeTravellingEnabledName = "time-travel"

Definition at line 22 of file ParametricSettings.cpp.

◆ transformBinaryOption

const std::string storm::settings::modules::transformBinaryOption = "transformbinary"

Definition at line 20 of file ToParametricSettings.cpp.

◆ transformContinuousOptionName

const std::string storm::settings::modules::transformContinuousOptionName = "transformcontinuous"

Definition at line 19 of file ParametricSettings.cpp.

◆ transformContinuousShortOptionName

const std::string storm::settings::modules::transformContinuousShortOptionName = "tc"

Definition at line 20 of file ParametricSettings.cpp.

◆ transformSimpleOption

const std::string storm::settings::modules::transformSimpleOption = "transformsimple"

Definition at line 21 of file ToParametricSettings.cpp.

◆ triangulationModeOption

const std::string storm::settings::modules::triangulationModeOption = "triangulationmode"

Definition at line 26 of file BeliefExplorationSettings.cpp.

◆ useMonotonicityName

const std::string storm::settings::modules::useMonotonicityName = "use-monotonicity"

Definition at line 21 of file ParametricSettings.cpp.

◆ validationLevel

const std::string storm::settings::modules::validationLevel = "validate"

Definition at line 20 of file QualitativePOMDPAnalysisSettings.cpp.

◆ valueIterationMultiplicationStyleOptionName

const std::string storm::settings::modules::valueIterationMultiplicationStyleOptionName = "vimult"

Definition at line 20 of file MinMaxEquationSolverSettings.cpp.

◆ winningRegionOption

const std::string storm::settings::modules::winningRegionOption = "winningregion"

Definition at line 19 of file QualitativePOMDPAnalysisSettings.cpp.

Classes

Functions

Variables

Function Documentation

◆ BeliefExplorationSettings::setValuesInOptionsStruct< storm::RationalNumber >()

◆ operator<<()

Variable Documentation

◆ absoluteOptionName

◆ allowSimplificationOption

◆ analyzeUniqueObservationsOption

◆ applyNoMaxProgAssumptionOptionName

◆ beliefExplorationModes

◆ beliefExplorationOption

◆ beliefSupportMCOption

◆ bitsForUnboundedVariablesOptionName

◆ buildAllLabelsOptionName

◆ buildChoiceLabelOptionName

◆ buildChoiceOriginsOptionName

◆ buildObservationValuationsOptionName

◆ buildOutOfBoundsStateOptionName

◆ buildOverlappingGuardsLabelOptionName

◆ buildStateValuationsOptionName

◆ checkEngineOptionName

◆ checkFullyObservableOption

◆ clipGridResolutionOption

◆ clippingOption

◆ concurrentMipThreadsOption

◆ cutZeroGapOption

◆ directionOptionName

◆ dontFixDeadlockOptionName

◆ dontFixDeadlockOptionShortName

◆ expensiveStatsOption

◆ explorationChecksOptionName

◆ explorationChecksOptionShortName

◆ explorationOrderOptionName

◆ explorationOrderOptionShortName

◆ explorationStateLimitOptionName

◆ explorationTimeLimitOption

◆ exportAsParametricModelOption

◆ exportResultOptionName

◆ exportSATCallsOption

◆ exportWinningRegionOption

◆ forceUniqueSolutionRequirementOptionName

◆ fscmode

◆ fscModes

◆ fullModelBuildOptionName

◆ gapThresholdOption

◆ guaranteeOptionName

◆ integerToleranceOption

◆ isQualitativeOption

◆ linearToSimpleEnabledName

◆ lookaheadHorizonOption

◆ lookaheadTypeOption

◆ lpEqualityForUniqueActionsOptionName

◆ lpOptimizeOnlyInitialStateOptionName

◆ lpUseNonTrivialBoundsOptionName

◆ maximalIterationsOptionName

◆ maximalIterationsOptionShortName

◆ mecReductionOption

◆ memlessSearchMethods

◆ memlessSearchOption

◆ memoryBoundOption

◆ memoryPatternOption

◆ memoryPatterns

◆ methodOption

◆ methodOptionName

◆ mipFocusOption

◆ modeOptionName

◆ noBuildOptionName

◆ noCanonicOption

◆ noSimplifyOptionName

◆ numericPrecisionOption

◆ observationThresholdOption

◆ onlyDeterministicOption

◆ optimalChoiceValueThresholdOption

◆ outputOption

◆ performLocationElimination

◆ precisionOptionName

◆ preventDRNPlaceholderOptionName

◆ preventGraphPreprocessing