Here is a list of all namespace variables with links to the namespace documentation for each variable:

- a -

• absoluteOptionName : storm::settings::modules
• allowSimplificationOption : storm::settings::modules
• analyzeUniqueObservationsOption : storm::settings::modules
• applyNoMaxProgAssumptionOptionName : storm::settings::modules

- b -

• beliefExplorationModes : storm::settings::modules
• beliefExplorationOption : storm::settings::modules
• beliefSupportMCOption : storm::settings::modules
• Bicgstab : storm::solver
• bitsForUnboundedVariablesOptionName : storm::settings::modules
• buildAllLabelsOptionName : storm::settings::modules
• buildChoiceLabelOptionName : storm::settings::modules
• buildChoiceOriginsOptionName : storm::settings::modules
• buildObservationValuationsOptionName : storm::settings::modules
• buildOutOfBoundsStateOptionName : storm::settings::modules
• buildOverlappingGuardsLabelOptionName : storm::settings::modules
• buildStateValuationsOptionName : storm::settings::modules

- c -

• checkEngineOptionName : storm::settings::modules
• checkFullyObservableOption : storm::settings::modules
• clipGridResolutionOption : storm::settings::modules
• clippingOption : storm::settings::modules
• concurrentMipThreadsOption : storm::settings::modules
• cutZeroGapOption : storm::settings::modules

- d -

• defaultCapacity : storm::dft::transformations
• DGmres : storm::solver
• directionOptionName : storm::settings::modules
• dontFixDeadlockOptionName : storm::settings::modules
• dontFixDeadlockOptionShortName : storm::settings::modules

- e -

• expensiveStatsOption : storm::settings::modules
• explorationChecksOptionName : storm::settings::modules
• explorationChecksOptionShortName : storm::settings::modules
• explorationOrderOptionName : storm::settings::modules
• explorationOrderOptionShortName : storm::settings::modules
• explorationStateLimitOptionName : storm::settings::modules
• explorationTimeLimitOption : storm::settings::modules
• exportAsParametricModelOption : storm::settings::modules
• exportResultOptionName : storm::settings::modules
• exportSATCallsOption : storm::settings::modules
• exportWinningRegionOption : storm::settings::modules

- f -

• forceUniqueSolutionRequirementOptionName : storm::settings::modules
• fscmode : storm::settings::modules
• fscModes : storm::settings::modules
• fullModelBuildOptionName : storm::settings::modules

- g -

• GainBiasEquations : storm::solver
• gapThresholdOption : storm::settings::modules
• Glpk : storm::solver
• guaranteeOptionName : storm::settings::modules
• Gurobi : storm::solver

- i -

• i : storm::storage
• integerToleranceOption : storm::settings::modules
• INVALID_PLAYER_INDEX : storm::storage
• isQualitativeOption : storm::settings::modules

- l -

• LinearProgramming : storm::solver
• linearToSimpleEnabledName : storm::settings::modules
• lookaheadHorizonOption : storm::settings::modules
• lookaheadTypeOption : storm::settings::modules
• lpEqualityForUniqueActionsOptionName : storm::settings::modules
• lpOptimizeOnlyInitialStateOptionName : storm::settings::modules
• lpUseNonTrivialBoundsOptionName : storm::settings::modules

- m -

• maximalIterationsOptionName : storm::settings::modules
• maximalIterationsOptionShortName : storm::settings::modules
• maxWaitTime : storm::utility::resources
• mecReductionOption : storm::settings::modules
• memlessSearchMethods : storm::settings::modules
• memlessSearchOption : storm::settings::modules
• memoryBoundOption : storm::settings::modules
• memoryPatternOption : storm::settings::modules
• memoryPatterns : storm::settings::modules
• methodOption : storm::settings::modules
• methodOptionName : storm::settings::modules
• mipFocusOption : storm::settings::modules
• modeOptionName : storm::settings::modules

- n -

• Native : storm::solver
• NO_ELEMENT_MARKER : storm::dd::bisimulation
• noBuildOptionName : storm::settings::modules
• noCanonicOption : storm::settings::modules
• noGurobi : storm::test
• noSimplifyOptionName : storm::settings::modules
• NullRef : storm
• num_threads : storm::utility::detail
• numericPrecisionOption : storm::settings::modules

- o -

• observationThresholdOption : storm::settings::modules
• onlyDeterministicOption : storm::settings::modules
• optimalChoiceValueThresholdOption : storm::settings::modules
• outputOption : storm::settings::modules

- p -

• performLocationElimination : storm::settings::modules
• precisionOptionName : storm::settings::modules
• preventDRNPlaceholderOptionName : storm::settings::modules
• preventGraphPreprocessing : storm::settings::modules
• printFullResultOptionName : storm::settings::modules
• printNoIllustrationOptionName : storm::settings::modules
• printWinningRegionOption : storm::settings::modules
• prismCompatibilityOptionName : storm::settings::modules
• prismCompatibilityOptionShortName : storm::settings::modules

- q -

• Qmr : storm::solver
• qualitativeReductionOption : storm::settings::modules

- r -

• refineOption : storm::settings::modules
• regionBoundOptionName : storm::settings::modules
• regionOptionName : storm::settings::modules
• regionShortOptionName : storm::settings::modules
• requestedCoverageOptionName : storm::settings::modules
• resolutionOption : storm::settings::modules

- s -

• sampleExactOptionName : storm::settings::modules
• samplesGraphPreservingOptionName : storm::settings::modules
• samplesOptionName : storm::settings::modules
• scaleFactor : storm::gspn
• selfloopReductionOption : storm::settings::modules
• sizeThresholdOption : storm::settings::modules
• solvingMethodOptionName : storm::settings::modules
• SparseLU : storm::solver
• splittingThresholdName : storm::settings::modules
• stateEliminationCutoffOption : storm::settings::modules
• stateHintOption : storm::settings::modules

- t -

• threadsOption : storm::settings::modules
• timeTravellingEnabledName : storm::settings::modules
• transformBinaryOption : storm::settings::modules
• transformContinuousOptionName : storm::settings::modules
• transformContinuousShortOptionName : storm::settings::modules
• transformSimpleOption : storm::settings::modules
• triangulationModeOption : storm::settings::modules

- u -

• useMonotonicityName : storm::settings::modules

- v -

• validationLevel : storm::settings::modules
• ValueIteration : storm::solver
• valueIterationMultiplicationStyleOptionName : storm::settings::modules
• VARIABLE_AUTOMATON_DELIMITER : storm::parser

- w -

• winningRegionOption : storm::settings::modules

- z -

• Z3 : storm::solver