Here is a list of all namespace members with links to the namespace documentation for each member:

- s -

• sample() : storm::storage
• sampleDerivatives() : storm::pars
• sampleExactOptionName : storm::settings::modules
• samplesGraphPreservingOptionName : storm::settings::modules
• samplesOptionName : storm::settings::modules
• scale() : boost::spirit::traits
• scaleFactor : storm::gspn
• scaleVectorInPlace() : storm::utility::vector
• ScalingMode : storm::solver::stateelimination
• selectRewardVariables() : storm::builder
• selectVectorValues() : storm::utility::vector
• selectVectorValuesRepeatedly() : storm::utility::vector
• selfloopReductionOption : storm::settings::modules
• SemanticSolutionType : storm::modelchecker::helper
• setAllValues() : storm::utility::vector
• setFileLogging() : storm::cli
• setInformationFromCheckTaskDeterministic() : storm::modelchecker::helper
• setInformationFromCheckTaskNondeterministic() : storm::modelchecker::helper
• setInformationFromOtherHelperDeterministic() : storm::modelchecker::helper
• setInformationFromOtherHelperNondeterministic() : storm::modelchecker::helper
• setLogLevel() : storm::cli, storm::utility
• setLowerUpperTotalRewardBoundsToSolver() : storm::modelchecker::multiobjective
• setMemoryLimit() : storm::utility::resources
• setNonzeroIndices() : storm::utility::vector
• setOutputDigits() : storm::utility
• setOutputDigitsFromGeneralPrecision() : storm::utility
• setResourceLimits() : storm::cli
• setTimeoutAlarm() : storm::utility::resources
• setUp() : storm::utility
• setUpperRewardBounds() : storm::modelchecker::helper
• setUpProbabilisticStatesSolver() : storm::modelchecker::helper
• setUrgentOptions() : storm::conv
• setVectorValues() : storm::utility::vector
• sharpen() : storm::utility::kwek_mehlhorn
• shellQuoteSingleIfNecessary() : storm::cli
• sign() : storm::expressions
• signalHandler() : storm::utility::resources
• SignatureMode : storm::dd::bisimulation
• simplify() : storm::utility
• simplifyJaniModel() : storm::api
• simplifyModel() : storm::pars
• SimulationStepResult : storm::dft::simulator
• SimulationTraceResult : storm::dft::simulator
• sin() : storm::expressions, storm::utility
• sizeThresholdOption : storm::settings::modules
• skipWord() : storm::utility::cstring
• solveMaybeStates() : storm::gbar::modelchecker
• SolverGuarantee : storm::solver
• SolverStatus : storm::solver
• solvingMethodOptionName : storm::settings::modules
• SparseLU : storm::solver
• SparseMatrixIndexType : storm::storage
• splittingThresholdName : storm::settings::modules
• sqrt() : storm::utility
• squaredEuclideanDistance() : storm::storage::geometry
• startInteractiveExploration() : storm::pomdp::api
• startStopwatch() : storm::conv
• state_t : storm::utility::ksp
• state_type : storm::storage::sparse
• stateEliminationCutoffOption : storm::settings::modules
• StateFilter : storm::modelchecker
• stateHintOption : storm::settings::modules
• StateId : storm::storage
• StateValuations::toJson< storm::RationalNumber >() : storm::storage::sparse
• Status : storm::dd::bisimulation
• SteadyStateDistributionAlgorithm : storm
• stopStopwatch() : storm::conv
• substitute() : storm::utility::parametric
• substituteConstantsInProperties() : storm::api
• substituteJaniExpression() : storm::jani
• substituteOperatorInformation() : storm::logic
• substituteTranscendentalNumbersInProperties() : storm::api
• subtractFromConstantOneVector() : storm::utility::vector
• subtractVectors() : storm::utility::vector
• sum() : storm::expressions
• sum_if() : storm::utility::vector
• sumOfMecRewards() : storm::modelchecker::multiobjective
• SVIStage : storm::solver::helper
• sylvan_bdd_matches_variable_index() : storm::dd
• sylvan_hash() : storm::dd::bisimulation
• sylvan_mtbdd_matches_variable_index() : storm::dd
• sylvan_search_or_insert() : storm::dd::bisimulation