Here is a list of all namespace functions with links to the namespace documentation for each function:

- s -

• sample() : storm::storage
• sampleDerivatives() : storm::pars
• scale() : boost::spirit::traits
• scaleVectorInPlace() : storm::utility::vector
• selectRewardVariables() : storm::builder
• selectVectorValues() : storm::utility::vector
• selectVectorValuesRepeatedly() : storm::utility::vector
• 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
• simplify() : storm::utility
• simplifyJaniModel() : storm::api
• simplifyModel() : storm::pars
• sin() : storm::expressions, storm::utility
• skipWord() : storm::utility::cstring
• solveMaybeStates() : storm::gbar::modelchecker
• sqrt() : storm::utility
• squaredEuclideanDistance() : storm::storage::geometry
• startInteractiveExploration() : storm::pomdp::api
• startStopwatch() : storm::conv
• StateValuations::toJson< storm::RationalNumber >() : storm::storage::sparse
• 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
• 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