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

- s -

• SecondType : storm::utility::ProgressMeasurement, storm::utility::Stopwatch
• set_type : storm::storage::MaximalEndComponent
• SolutionType : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::helper::rewardbounded::EpochModel< ValueType, SingleObjectiveMode >, storm::modelchecker::helper::rewardbounded::MultiDimensionalRewardUnfolding< ValueType, SingleObjectiveMode >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >, storm::modelchecker::SparsePropositionalModelChecker< SparseModelType >
• state_type : storm::transformer::Product< Model >
• StateActionStack : storm::modelchecker::SparseExplorationModelChecker< ModelType, StateType >
• StateProbMap : storm::utility::ksp::ShortestPathsGenerator< T >
• StateSet : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >, storm::modelchecker::helper::ModelCheckerHelper< VT, ModelRepresentation >
• StateToIdCallback : storm::dft::generator::DftNextStateGenerator< ValueType, StateType >, storm::generator::JaniNextStateGenerator< ValueType, StateType >, storm::generator::NextStateGenerator< ValueType, StateType >, storm::generator::PrismNextStateGenerator< ValueType, StateType >
• StateType : storm::modelchecker::helper::lexicographic::lexicographicModelCheckerHelper< SparseModelType, ValueType, Nondeterministic >
• SubsetFilter : storm::storage::geometry::SubsetEnumerator< DataType >
• SubsystemReturnType : storm::modelchecker::helper::lexicographic::lexicographicModelCheckerHelper< SparseModelType, ValueType, Nondeterministic >