Index

S

smc_storm::model_checker::StatisticalModelChecker (C++ class) smc_storm::model_checker::StatisticalModelChecker::check (C++ function) smc_storm::model_checker::StatisticalModelChecker::getResult (C++ function) smc_storm::model_checker::StatisticalModelChecker::printProperty (C++ function) smc_storm::model_checker::StatisticalModelChecker::StatisticalModelChecker (C++ function), [1] smc_storm::model_checker::StatisticalModelChecker::~StatisticalModelChecker (C++ function) smc_storm::model_checker::StatisticalModelCheckingEngine (C++ class) smc_storm::model_checker::StatisticalModelCheckingEngine::canHandle (C++ function) smc_storm::model_checker::StatisticalModelCheckingEngine::canHandleStatic (C++ function) smc_storm::model_checker::StatisticalModelCheckingEngine::computeProbabilities (C++ function) smc_storm::model_checker::StatisticalModelCheckingEngine::computeReachabilityRewards (C++ function) smc_storm::model_checker::StatisticalModelCheckingEngine::StateType (C++ type) smc_storm::model_checker::StatisticalModelCheckingEngine::StatisticalModelCheckingEngine (C++ function) smc_storm::model_checker::StatisticalModelCheckingEngine::ValueType (C++ type) smc_storm::parser::filterProperties (C++ function) smc_storm::parser::getRequestedProperties (C++ function) smc_storm::parser::parseJaniModelAndProperties (C++ function) smc_storm::parser::parseModelAndProperties (C++ function) smc_storm::parser::parsePrismModelAndProperties (C++ function) smc_storm::parser::substituteConstants (C++ function) smc_storm::parser::SymbolicModelAndProperty (C++ struct) smc_storm::parser::SymbolicModelAndProperty::model (C++ member) smc_storm::parser::SymbolicModelAndProperty::property (C++ member) smc_storm::samples::BatchBuffer (C++ class) smc_storm::samples::BatchBuffer::addResults (C++ function) smc_storm::samples::BatchBuffer::BatchBuffer (C++ function) smc_storm::samples::BatchBuffer::cancel (C++ function) smc_storm::samples::BatchBuffer::getResults (C++ function) smc_storm::samples::BatchBuffer::waitForSlotAvailable (C++ function) smc_storm::samples::BatchBuffer::~BatchBuffer (C++ function) smc_storm::samples::BatchResults (C++ struct) smc_storm::samples::BatchResults::addResult (C++ function) smc_storm::samples::BatchResults::batch_size (C++ member) smc_storm::samples::BatchResults::batchIncomplete (C++ function) smc_storm::samples::BatchResults::BatchResults (C++ function), [1] smc_storm::samples::BatchResults::count (C++ member) smc_storm::samples::BatchResults::getBatchStatistics (C++ function) smc_storm::samples::BatchResults::getCount (C++ function) smc_storm::samples::BatchResults::max_reward (C++ member) smc_storm::samples::BatchResults::max_trace_length (C++ member) smc_storm::samples::BatchResults::min_reward (C++ member) smc_storm::samples::BatchResults::min_trace_length (C++ member) smc_storm::samples::BatchResults::n_no_info (C++ member) smc_storm::samples::BatchResults::n_not_verified (C++ member) smc_storm::samples::BatchResults::n_verified (C++ member) smc_storm::samples::BatchResults::property_type (C++ member) smc_storm::samples::BatchResults::reset (C++ function) smc_storm::samples::BatchResults::rewards (C++ member) smc_storm::samples::BatchStatistics (C++ struct) smc_storm::samples::BatchStatistics::BatchStatistics (C++ function), [1], [2] smc_storm::samples::BatchStatistics::dim (C++ member) smc_storm::samples::BatchStatistics::mean (C++ member) smc_storm::samples::BatchStatistics::updateStats (C++ function) smc_storm::samples::BatchStatistics::variance (C++ member) smc_storm::samples::ModelSampling (C++ class) smc_storm::samples::ModelSampling::ActionType (C++ type) smc_storm::samples::ModelSampling::ModelSampling (C++ function), [1] smc_storm::samples::ModelSampling::sampleActionOfState (C++ function) smc_storm::samples::ModelSampling::sampleSuccessorFromAction (C++ function) smc_storm::samples::SamplingResults (C++ class) smc_storm::samples::SamplingResults::addBatchResults (C++ function) smc_storm::samples::SamplingResults::getBatchResultInstance (C++ function) smc_storm::samples::SamplingResults::getBatchSize (C++ function) smc_storm::samples::SamplingResults::getEstimatedReward (C++ function) smc_storm::samples::SamplingResults::getProbabilityVerifiedProperty (C++ function) smc_storm::samples::SamplingResults::getResultCount (C++ function) smc_storm::samples::SamplingResults::newBatchNeeded (C++ function) smc_storm::samples::SamplingResults::printResults (C++ function) smc_storm::samples::SamplingResults::SamplingResults (C++ function), [1] smc_storm::samples::toString (C++ function) smc_storm::samples::TraceInformation (C++ struct) smc_storm::samples::TraceInformation::outcome (C++ member) smc_storm::samples::TraceInformation::reward (C++ member) smc_storm::samples::TraceInformation::trace_length (C++ member) smc_storm::samples::TraceResult (C++ enum) smc_storm::samples::TraceResult::NO_INFO (C++ enumerator) smc_storm::samples::TraceResult::NOT_VERIFIED (C++ enumerator) smc_storm::samples::TraceResult::VERIFIED (C++ enumerator) smc_storm::samples::TracesExporter (C++ class) smc_storm::samples::TracesExporter::addCurrentTraceResult (C++ function) smc_storm::samples::TracesExporter::addNextState (C++ function) smc_storm::samples::TracesExporter::setExportOnlyFailures (C++ function) smc_storm::samples::TracesExporter::TracesExporter (C++ function) smc_storm::samples::TracesExporter::~TracesExporter (C++ function) smc_storm::settings::CmdSettings (C++ class) smc_storm::settings::CmdSettings::CmdSettings (C++ function) smc_storm::settings::CmdSettings::getSettings (C++ function) smc_storm::settings::CmdSettings::parse (C++ function) smc_storm::settings::SmcSettings (C++ struct) smc_storm::settings::SmcSettings::batch_size (C++ member) smc_storm::settings::SmcSettings::cache_explored_states (C++ member) smc_storm::settings::SmcSettings::confidence (C++ member) smc_storm::settings::SmcSettings::epsilon (C++ member) smc_storm::settings::SmcSettings::max_n_traces (C++ member) smc_storm::settings::SmcSettings::max_trace_length (C++ member) smc_storm::settings::SmcSettings::n_threads (C++ member)

smc_storm::settings::SmcSettings::show_statistics (C++ member) smc_storm::settings::SmcSettings::SmcSettings (C++ function) smc_storm::settings::SmcSettings::stat_method (C++ member) smc_storm::settings::SmcSettings::stop_after_failure (C++ member) smc_storm::settings::SmcSettings::store_only_not_verified (C++ member) smc_storm::settings::SmcSettings::traces_file (C++ member) smc_storm::settings::UserSettings (C++ struct) smc_storm::settings::UserSettings::batch_size (C++ member) smc_storm::settings::UserSettings::cache_explored_states (C++ member) smc_storm::settings::UserSettings::confidence (C++ member) smc_storm::settings::UserSettings::constants (C++ member) smc_storm::settings::UserSettings::custom_property (C++ member) smc_storm::settings::UserSettings::epsilon (C++ member) smc_storm::settings::UserSettings::max_n_traces (C++ member) smc_storm::settings::UserSettings::max_trace_length (C++ member) smc_storm::settings::UserSettings::model_file (C++ member) smc_storm::settings::UserSettings::n_threads (C++ member) smc_storm::settings::UserSettings::properties_file (C++ member) smc_storm::settings::UserSettings::properties_names (C++ member) smc_storm::settings::UserSettings::show_statistics (C++ member) smc_storm::settings::UserSettings::stat_method (C++ member) smc_storm::settings::UserSettings::stop_after_failure (C++ member) smc_storm::settings::UserSettings::store_only_not_verified (C++ member) smc_storm::settings::UserSettings::traces_file (C++ member) smc_storm::settings::UserSettings::validModel (C++ function) smc_storm::settings::UserSettings::validProperties (C++ function) smc_storm::settings::VERSION (C++ member) smc_storm::state_generation::ExplorationInformation (C++ class) smc_storm::state_generation::ExplorationInformation::addStateDescription (C++ function) smc_storm::state_generation::ExplorationInformation::addUnexploredState (C++ function) smc_storm::state_generation::ExplorationInformation::const_iterator (C++ type) smc_storm::state_generation::ExplorationInformation::ExplorationInformation (C++ function) smc_storm::state_generation::ExplorationInformation::findUnexploredState (C++ function) smc_storm::state_generation::ExplorationInformation::getStateDescription (C++ function) smc_storm::state_generation::ExplorationInformation::IdToStateMap (C++ type) smc_storm::state_generation::ExplorationInformation::isUnexplored (C++ function) smc_storm::state_generation::ExplorationInformation::removeUnexploredState (C++ function) smc_storm::state_generation::ExplorationInformation::unexploredStatesEnd (C++ function) smc_storm::state_generation::StateExpansionHandler (C++ class) smc_storm::state_generation::StateExpansionHandler::init (C++ function) smc_storm::state_generation::StateExpansionHandler::stateExpansionCallback (C++ function) smc_storm::state_generation::StateExpansionHandler::StateExpansionHandler (C++ function) smc_storm::state_generation::StateExpansionHandler<storm::generator::CompressedState, ValueType> (C++ class) smc_storm::state_generation::StateExpansionHandler<storm::generator::CompressedState, ValueType>::clearNextStates (C++ function) smc_storm::state_generation::StateExpansionHandler<storm::generator::CompressedState, ValueType>::getHashValue (C++ function) smc_storm::state_generation::StateExpansionHandler<storm::generator::CompressedState, ValueType>::getNextStates (C++ function) smc_storm::state_generation::StateExpansionHandler<storm::generator::CompressedState, ValueType>::init (C++ function) smc_storm::state_generation::StateExpansionHandler<storm::generator::CompressedState, ValueType>::stateExpansionCallback (C++ function) smc_storm::state_generation::StateExpansionHandler<storm::generator::CompressedState, ValueType>::StateExpansionHandler (C++ function) smc_storm::state_generation::StateExpansionHandler<uint32_t, ValueType> (C++ class) smc_storm::state_generation::StateExpansionHandler<uint32_t, ValueType>::getExplorationInformation (C++ function) smc_storm::state_generation::StateExpansionHandler<uint32_t, ValueType>::init (C++ function) smc_storm::state_generation::StateExpansionHandler<uint32_t, ValueType>::stateExpansionCallback (C++ function) smc_storm::state_generation::StateExpansionHandler<uint32_t, ValueType>::StateExpansionHandler (C++ function) smc_storm::state_generation::StateGeneration (C++ class) smc_storm::state_generation::StateGeneration::getPropertyDescription (C++ function) smc_storm::state_generation::StateGeneration::getVariableInformation (C++ function) smc_storm::state_generation::StateGeneration::load (C++ function) smc_storm::state_generation::StateGeneration::loadInitialState (C++ function) smc_storm::state_generation::StateGeneration::processLoadedState (C++ function) smc_storm::state_generation::StateGeneration::StateGeneration (C++ function) smc_storm::state_properties::PropertyDescription (C++ class) smc_storm::state_properties::PropertyDescription::generateExpressions (C++ function) smc_storm::state_properties::PropertyDescription::getConditionExpression (C++ function) smc_storm::state_properties::PropertyDescription::getIsTerminalVerified (C++ function) smc_storm::state_properties::PropertyDescription::getLowerBound (C++ function) smc_storm::state_properties::PropertyDescription::getTargetExpression (C++ function) smc_storm::state_properties::PropertyDescription::getUpperBound (C++ function) smc_storm::state_properties::PropertyDescription::LabelsMap (C++ type) smc_storm::state_properties::PropertyDescription::PropertyDescription (C++ function), [1] smc_storm::state_properties::PropertyType (C++ enum) smc_storm::state_properties::PropertyType::P (C++ enumerator) smc_storm::state_properties::PropertyType::R (C++ enumerator) smc_storm::state_properties::state_info::BREAK_CONDITION (C++ member) smc_storm::state_properties::state_info::checkBreakCondition (C++ function) smc_storm::state_properties::state_info::checkIsTerminal (C++ function) smc_storm::state_properties::state_info::checkNoInfo (C++ function) smc_storm::state_properties::state_info::checkSatisfyTarget (C++ function) smc_storm::state_properties::state_info::IS_TERMINAL (C++ member) smc_storm::state_properties::state_info::NO_INFO (C++ member) smc_storm::state_properties::state_info::SATISFY_TARGET (C++ member) smc_storm::state_properties::StateDescription (C++ class) smc_storm::state_properties::StateDescription::_actions (C++ member) smc_storm::state_properties::StateDescription::_compressed_state (C++ member) smc_storm::state_properties::StateDescription::_reward (C++ member) smc_storm::state_properties::StateDescription::_state_info (C++ member) smc_storm::state_properties::StateDescription::ActionTransitions (C++ type) smc_storm::state_properties::StateDescription::addAction (C++ function) smc_storm::state_properties::StateDescription::getActions (C++ function) smc_storm::state_properties::StateDescription::getCompressedState (C++ function) smc_storm::state_properties::StateDescription::getReward (C++ function) smc_storm::state_properties::StateDescription::getStateInfo (C++ function) smc_storm::state_properties::StateDescription::setCompressedState (C++ function) smc_storm::state_properties::StateDescription::setReward (C++ function) smc_storm::state_properties::StateDescription::setStateInfo (C++ function) smc_storm::state_properties::StateDescription::StateDescription (C++ function) smc_storm::state_properties::StateInfoType (C++ type)