Here is a list of all variables with links to the classes they belong to:

- s -

• s : storm::storage::SccDecompositionMemoryCache
• satFraction : storm::modelchecker::RegionCheckResult< ValueType >
• scalingFactor : storm::modelchecker::helper::rewardbounded::Dimension< ValueType >
• sccCount : storm::storage::SccDecompositionResult
• sccDepths : storm::storage::SccDecompositionResult
• scheduler : storm::jani::JaniLocalEliminator, storm::modelchecker::helper::MaybeStateResult< ValueType >, storm::modelchecker::helper::MDPSparseModelCheckingHelperReturnType< ValueType >
• schedulerAsMarkovChain : storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >::Result
• schedulerChoices : storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >
• schedulerHint : storm::modelchecker::helper::SparseMdpHintType< ValueType >
• schedulerRef : storm::pomdp::InternalObservationScheduler
• setupTime : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::GeneratorStats
• shallSubstituteTranscendentalNumbers : storm::expressions::JaniExpressionSubstitutionVisitor< MapType >
• shiftStateVariables : storm::dd::bisimulation::InternalSignatureRefinerOptions
• signatureComputer : storm::dd::bisimulation::PartitionRefiner< DdType, ValueType >
• signatureRefiner : storm::dd::bisimulation::PartitionRefiner< DdType, ValueType >
• signatures : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• silent : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::Options
• SILENT_ACTION_INDEX : storm::jani::Model
• SILENT_ACTION_NAME : storm::jani::Model
• simplifiedFormula : storm::transformer::SparseParametricModelSimplifier< SparseModelType >
• simplifiedModel : storm::transformer::SparseParametricModelSimplifier< SparseModelType >
• simplifyComposition : storm::converter::JaniConversionOptions
• sinkRows : storm::transformer::EndComponentEliminator< ValueType >::EndComponentEliminatorReturnType
• sinkState : storm::transformer::GoalStateMerger< SparseModelType >::ReturnType
• sizeThresholdFactor : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• sizeThresholdInit : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• skipHeuristicSchedulers : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• smtCheckTimer : storm::pomdp::IterativePolicySearch< ValueType >::Statistics
• solverEnvironment : storm::InternalEnvironment
• solverTime : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::GeneratorStats
• sourcePredicateVariables : storm::gbar::abstraction::AbstractionInformation< DdType >
• sourceVariables : storm::gbar::abstraction::AbstractionInformation< DdType >
• spanningTree : storm::gbar::abstraction::SymbolicMostProbablePathsResult< Type, ValueType >
• SPLITTER_FLAG : storm::storage::bisimulation::DeterministicBlockData
• startingBelief : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >::BeliefClipping
• startState : storm::automata::HOAHeader
• state : storm::dft::simulator::DFTTraceSimulator< ValueType >, storm::gbar::abstraction::ExplicitDijkstraQueueElement< ValueType >, storm::generator::NextStateGenerator< ValueType, StateType >, storm::storage::StateActionTarget, storm::transformer::StateWithRow
• stateActionDd : storm::builder::DdPrismModelBuilder< Type, ValueType >::SystemResult< Type, ValueType >
• stateDomainSize : storm::jani::InformationObject, storm::utility::pfinternal::Features
• stateEstimate : storm::utility::pfinternal::Features
• stateGenerationInfo : storm::dft::simulator::DFTTraceSimulator< ValueType >
• stateGenerator : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• stateLabeling : storm::storage::sparse::ModelComponents< ValueType, RewardModelType >
• statePartition : storm::dd::bisimulation::PartitionRefiner< DdType, ValueType >
• statePlayerIndications : storm::storage::sparse::ModelComponents< ValueType, RewardModelType >
• stateRewards : storm::jani::RewardModelInformation, storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• states : storm::analysis::Order::Node, storm::gbar::abstraction::BottomStateResult< DdType >, storm::gbar::abstraction::SymbolicQualitativeMdpResult< Type >, storm::pomdp::analysis::FormulaInformation::StateSet
• statesAbove : storm::analysis::Order::Node
• statesWithProbability0 : storm::modelchecker::helper::QualitativeStateSetsUntilProbabilities
• statesWithProbability1 : storm::modelchecker::helper::QualitativeStateSetsUntilProbabilities
• stateToId : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >, storm::storage::sparse::StateStorage< StateType >
• stateToSccMapping : storm::storage::SccDecompositionResult
• stateValuations : storm::storage::sparse::ModelComponents< ValueType, RewardModelType >
• stateValues : storm::solver::stateelimination::PrioritizedStateEliminator< ValueType >
• stateVariables : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• status : storm::dd::bisimulation::PartitionRefiner< DdType, ValueType >, storm::solver::helper::IIData< ValueType >, storm::solver::helper::SoundValueIterationHelper< ValueType, TrivialRowGrouping >::SVIData
• stepChoices : storm::modelchecker::helper::rewardbounded::EpochModel< ValueType, SingleObjectiveMode >
• stepSolutions : storm::modelchecker::helper::rewardbounded::EpochModel< ValueType, SingleObjectiveMode >
• stream : storm::exceptions::BaseException
• strict : storm::solver::TerminateIfFilteredSumExceedsThreshold< ValueType >
• strictBound : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::CexInput
• substituteConstants : storm::converter::JaniConversionOptions
• successorPredicateVariables : storm::gbar::abstraction::AbstractionInformation< DdType >
• successorVariables : storm::gbar::abstraction::AbstractionInformation< DdType >
• successorWithObsCount : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >::SuccessorObservationInformation
• suffix : storm::converter::PrismToJaniConverterOptions
• support : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >::SuccessorObservationInformation
• SupportsExponential : storm::NumberTraits< ValueType >, storm::NumberTraits< double >, storm::NumberTraits< storm::RationalFunction >
• switchObservations : storm::pomdp::InternalObservationScheduler
• symbolicMostProbablePathsResult : storm::gbar::abstraction::SymbolicPivotStateResult< Type, ValueType >
• symbolTable : storm::expressions::ExprtkExpressionEvaluatorBase< RationalType >
• synchronizationMetaVariables : storm::builder::DdPrismModelBuilder< Type, ValueType >::GenerationInformation< Type, ValueType >
• synchronizationVectorIndex : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionIdentification, storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionInstantiation
• systemCompositionConstruct : storm::parser::GlobalProgramInformation
• systemName : storm::StormVersion
• systemVersion : storm::StormVersion