Index

S

smc_storm::model_checker::areModelAndSettingsValid (C++ function) smc_storm::model_checker::ModelAndProperties (C++ struct) smc_storm::model_checker::ModelAndProperties::model (C++ member) smc_storm::model_checker::ModelAndProperties::plugins (C++ member) smc_storm::model_checker::ModelAndProperties::properties (C++ member) smc_storm::model_checker::SmcPluginInstance (C++ class) smc_storm::model_checker::SmcPluginInstance::appendInitData (C++ function) smc_storm::model_checker::SmcPluginInstance::appendInputData (C++ function) smc_storm::model_checker::SmcPluginInstance::appendOutputData (C++ function) smc_storm::model_checker::SmcPluginInstance::generatePluginInstance (C++ function) smc_storm::model_checker::SmcPluginInstance::getActionId (C++ function) smc_storm::model_checker::SmcPluginInstance::getActionName (C++ function) smc_storm::model_checker::SmcPluginInstance::getAutomatonName (C++ function) smc_storm::model_checker::SmcPluginInstance::getInitData (C++ function) smc_storm::model_checker::SmcPluginInstance::getInputVariablesMap (C++ function) smc_storm::model_checker::SmcPluginInstance::getOutputVariablesMap (C++ function) smc_storm::model_checker::SmcPluginInstance::PluginAndModelVariable (C++ type) smc_storm::model_checker::SmcPluginInstance::PluginAndModelVariableVector (C++ type) smc_storm::model_checker::SmcPluginInstance::PluginToModelExpressionMap (C++ type) smc_storm::model_checker::SmcPluginInstance::SmcPluginInstance (C++ function), [1] smc_storm::model_checker::SmcPluginInstance::sortOutputData (C++ function) 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::StateGeneratorType (C++ type) smc_storm::model_checker::StatisticalModelCheckingEngine::StateType (C++ type) smc_storm::model_checker::StatisticalModelCheckingEngine::StatisticalModelCheckingEngine (C++ function) smc_storm::model_checker::StatisticalModelCheckingEngine::TraceExportType (C++ type) smc_storm::model_checker::StatisticalModelCheckingEngine::ValueType (C++ type) smc_storm::parser::filterProperties (C++ function) smc_storm::parser::getRequestedProperties (C++ function) smc_storm::parser::JaniModelPropertiesPlugins (C++ type) smc_storm::parser::JaniParserExtended (C++ class) smc_storm::parser::JaniParserExtended::_constants_map (C++ member) smc_storm::parser::JaniParserExtended::_global_vars_map (C++ member) smc_storm::parser::JaniParserExtended::_jani_json (C++ member) smc_storm::parser::JaniParserExtended::_plugin_paths (C++ member) smc_storm::parser::JaniParserExtended::extractVariablesAutomatonScope (C++ function) smc_storm::parser::JaniParserExtended::generateGlobalScope (C++ function) smc_storm::parser::JaniParserExtended::JaniParserExtended (C++ function) smc_storm::parser::JaniParserExtended::loadPlugins (C++ function) smc_storm::parser::JaniParserExtended::parseModelPropertiesAndPlugins (C++ function), [1] smc_storm::parser::JaniParserExtended::~JaniParserExtended (C++ function) smc_storm::parser::loadJaniModel (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::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::CompressedStateTraceExporter (C++ class) smc_storm::samples::CompressedStateTraceExporter::addNextState (C++ function) smc_storm::samples::CompressedStateTraceExporter::CompressedStateTraceExporter (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::_export_only_failures (C++ member) smc_storm::samples::TracesExporter::_file (C++ member) smc_storm::samples::TracesExporter::_n_variables (C++ member) smc_storm::samples::TracesExporter::_trace_counter (C++ member) smc_storm::samples::TracesExporter::addCurrentTraceResult (C++ function) smc_storm::samples::TracesExporter::clearTraces (C++ function) smc_storm::samples::TracesExporter::setExportOnlyFailures (C++ function) smc_storm::samples::TracesExporter::TracesExporter (C++ function) smc_storm::samples::TracesExporter::writeCachedStates (C++ function) smc_storm::samples::TracesExporter::~TracesExporter (C++ function) smc_storm::samples::UncompressedStateTraceExporter (C++ class) smc_storm::samples::UncompressedStateTraceExporter::addNextState (C++ function) smc_storm::samples::UncompressedStateTraceExporter::UncompressedStateTraceExporter (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::plugins_loaded (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::plugin_paths (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::ActionIdAndReward (C++ type) smc_storm::state_generation::ActionScheduler (C++ class) smc_storm::state_generation::ActionScheduler::ActionId (C++ type) smc_storm::state_generation::ActionScheduler::ActionScheduler (C++ function) smc_storm::state_generation::ActionScheduler::sampleAction (C++ function) smc_storm::state_generation::AvailableActions (C++ type) 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::JaniSmcStatesExpansion (C++ class) smc_storm::state_generation::JaniSmcStatesExpansion::ActionDescription (C++ struct) smc_storm::state_generation::JaniSmcStatesExpansion::ActionDescription::action_edges (C++ member) smc_storm::state_generation::JaniSmcStatesExpansion::ActionDescription::action_reward (C++ member) smc_storm::state_generation::JaniSmcStatesExpansion::ActionDescription::ActionDescription (C++ function) smc_storm::state_generation::JaniSmcStatesExpansion::automaton_and_action_to_plugin_ids (C++ member) smc_storm::state_generation::JaniSmcStatesExpansion::composite_edges (C++ member) smc_storm::state_generation::JaniSmcStatesExpansion::ComputedDestinations (C++ struct) smc_storm::state_generation::JaniSmcStatesExpansion::ComputedDestinations::clear (C++ function) smc_storm::state_generation::JaniSmcStatesExpansion::ComputedDestinations::destinations (C++ member) smc_storm::state_generation::JaniSmcStatesExpansion::ComputedDestinations::related_action (C++ member) smc_storm::state_generation::JaniSmcStatesExpansion::current_state_reward (C++ member) smc_storm::state_generation::JaniSmcStatesExpansion::expression (C++ member) smc_storm::state_generation::JaniSmcStatesExpansion::getActionReward (C++ function) smc_storm::state_generation::JaniSmcStatesExpansion::getAvailableActions (C++ function) smc_storm::state_generation::JaniSmcStatesExpansion::getCurrentState (C++ function) smc_storm::state_generation::JaniSmcStatesExpansion::getDestinationsFromAction (C++ function) smc_storm::state_generation::JaniSmcStatesExpansion::getStateReward (C++ function) smc_storm::state_generation::JaniSmcStatesExpansion::getTransitionReward (C++ function) smc_storm::state_generation::JaniSmcStatesExpansion::getVariableInformation (C++ function) smc_storm::state_generation::JaniSmcStatesExpansion::information (C++ member) smc_storm::state_generation::JaniSmcStatesExpansion::JaniSmcStatesExpansion (C++ function) smc_storm::state_generation::JaniSmcStatesExpansion::PairHash (C++ struct) smc_storm::state_generation::JaniSmcStatesExpansion::PairHash::operator() (C++ function) smc_storm::state_generation::JaniSmcStatesExpansion::parallel_automata (C++ member) smc_storm::state_generation::JaniSmcStatesExpansion::satisfies (C++ function) smc_storm::state_generation::JaniSmcStatesExpansion::setInitialState (C++ function) smc_storm::state_generation::JaniSmcStatesExpansion::setNextState (C++ function) smc_storm::state_generation::JaniSmcStatesExpansion::~JaniSmcStatesExpansion (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::getAvailableActions (C++ function) smc_storm::state_generation::StateGeneration::getCurrentState (C++ function) smc_storm::state_generation::StateGeneration::getStateInfo (C++ function) smc_storm::state_generation::StateGeneration::getStateReward (C++ function) smc_storm::state_generation::StateGeneration::getVariableInformation (C++ function) smc_storm::state_generation::StateGeneration::resetModel (C++ function) smc_storm::state_generation::StateGeneration::runAction (C++ function) smc_storm::state_generation::StateGeneration::StateDescription (C++ type) smc_storm::state_generation::StateGeneration::StateGeneration (C++ function) smc_storm::state_generation::StateGenerationBase (C++ class) smc_storm::state_generation::StateGenerationBase::_property_description (C++ member) smc_storm::state_generation::StateGenerationBase::_random_generator (C++ member) smc_storm::state_generation::StateGenerationBase::_store_compressed_states (C++ member) smc_storm::state_generation::StateGenerationBase::getAvailableActions (C++ function) smc_storm::state_generation::StateGenerationBase::getPropertyDescription (C++ function) smc_storm::state_generation::StateGenerationBase::getStateInfo (C++ function) smc_storm::state_generation::StateGenerationBase::getStateReward (C++ function) smc_storm::state_generation::StateGenerationBase::resetModel (C++ function) smc_storm::state_generation::StateGenerationBase::runAction (C++ function) smc_storm::state_generation::StateGenerationBase::StateGenerationBase (C++ function) smc_storm::state_generation::StateGenerationBase::~StateGenerationBase (C++ function) smc_storm::state_generation::StateGenerationCacheless (C++ class) smc_storm::state_generation::StateGenerationCacheless::getAvailableActions (C++ function) smc_storm::state_generation::StateGenerationCacheless::getCurrentState (C++ function) smc_storm::state_generation::StateGenerationCacheless::getStateInfo (C++ function) smc_storm::state_generation::StateGenerationCacheless::getStateReward (C++ function) smc_storm::state_generation::StateGenerationCacheless::getVariableInformation (C++ function) smc_storm::state_generation::StateGenerationCacheless::resetModel (C++ function) smc_storm::state_generation::StateGenerationCacheless::runAction (C++ function) smc_storm::state_generation::StateGenerationCacheless::StateGenerationCacheless (C++ function) smc_storm::state_properties::evaluateExpression (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) smc_storm::state_properties::StateVariableData (C++ class) smc_storm::state_properties::StateVariableData::empty (C++ function) smc_storm::state_properties::StateVariableData::getBoolData (C++ function) smc_storm::state_properties::StateVariableData::getIntData (C++ function) smc_storm::state_properties::StateVariableData::getLocationData (C++ function) smc_storm::state_properties::StateVariableData::getRealData (C++ function) smc_storm::state_properties::StateVariableData::operator= (C++ function) smc_storm::state_properties::StateVariableData::operator== (C++ function) smc_storm::state_properties::StateVariableData::setBool (C++ function) smc_storm::state_properties::StateVariableData::setInt (C++ function) smc_storm::state_properties::StateVariableData::setLocation (C++ function) smc_storm::state_properties::StateVariableData::setReal (C++ function) smc_storm::state_properties::StateVariableData::StateVariableData (C++ function), [1], [2] smc_storm::state_properties::StateVariableInformation (C++ class) smc_storm::state_properties::StateVariableInformation::booleanVariables (C++ function) smc_storm::state_properties::StateVariableInformation::checkVariableBounds (C++ function) smc_storm::state_properties::StateVariableInformation::generateVariableData (C++ function) smc_storm::state_properties::StateVariableInformation::integerVariables (C++ function) smc_storm::state_properties::StateVariableInformation::locationVariables (C++ function) smc_storm::state_properties::StateVariableInformation::realVariables (C++ function) smc_storm::state_properties::StateVariableInformation::setInEvaluator (C++ function) smc_storm::state_properties::StateVariableInformation::StateVariableInformation (C++ function), [1] smc_storm::state_properties::VariableInformation (C++ struct) smc_storm::state_properties::VariableInformation::global (C++ member) smc_storm::state_properties::VariableInformation::lower_bound (C++ member) smc_storm::state_properties::VariableInformation::upper_bound (C++ member) smc_storm::state_properties::VariableInformation::value_type (C++ type) smc_storm::state_properties::VariableInformation::variable (C++ member) smc_storm::state_properties::VariableInformation::VariableInformation (C++ function) smc_storm::utils::stormSetUp (C++ function) storm::expressions::ExpressionEvaluator (C++ class)