smc_storm
0.1.0
Installation Guide
Tutorials
API
smc_storm
Index
Index
S
S
smc_storm::model_checker::StateGeneration (C++ class)
smc_storm::model_checker::StateGeneration::computeInitialStates (C++ function)
smc_storm::model_checker::StateGeneration::expand (C++ function)
smc_storm::model_checker::StateGeneration::getFirstInitialState (C++ function)
smc_storm::model_checker::StateGeneration::getInitialStates (C++ function)
smc_storm::model_checker::StateGeneration::getIsTerminalVerified (C++ function)
smc_storm::model_checker::StateGeneration::getLowerBound (C++ function)
smc_storm::model_checker::StateGeneration::getNumberOfInitialStates (C++ function)
smc_storm::model_checker::StateGeneration::getRewardIndex (C++ function)
smc_storm::model_checker::StateGeneration::getUpperBound (C++ function)
smc_storm::model_checker::StateGeneration::getVariableInformation (C++ function)
smc_storm::model_checker::StateGeneration::isConditionState (C++ function)
smc_storm::model_checker::StateGeneration::isTargetState (C++ function)
smc_storm::model_checker::StateGeneration::load (C++ function)
smc_storm::model_checker::StateGeneration::rewardLoaded (C++ function)
smc_storm::model_checker::StateGeneration::StateGeneration (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::ActionType (C++ type)
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::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::ExplorationInformation (C++ class)
smc_storm::samples::ExplorationInformation::ActionType (C++ type)
smc_storm::samples::ExplorationInformation::addActionReward (C++ function)
smc_storm::samples::ExplorationInformation::addActionsToMatrix (C++ function)
smc_storm::samples::ExplorationInformation::addStateInfo (C++ function)
smc_storm::samples::ExplorationInformation::addStateReward (C++ function)
smc_storm::samples::ExplorationInformation::addTerminalState (C++ function)
smc_storm::samples::ExplorationInformation::addUnexploredState (C++ function)
smc_storm::samples::ExplorationInformation::assignStateToNextRowGroup (C++ function)
smc_storm::samples::ExplorationInformation::assignStateToRowGroup (C++ function)
smc_storm::samples::ExplorationInformation::const_iterator (C++ type)
smc_storm::samples::ExplorationInformation::ExplorationInformation (C++ function)
smc_storm::samples::ExplorationInformation::findUnexploredState (C++ function)
smc_storm::samples::ExplorationInformation::getActionCount (C++ function)
smc_storm::samples::ExplorationInformation::getActionReward (C++ function)
smc_storm::samples::ExplorationInformation::getCompressedState (C++ function)
smc_storm::samples::ExplorationInformation::getNextRowGroup (C++ function)
smc_storm::samples::ExplorationInformation::getNumberOfDiscoveredStates (C++ function)
smc_storm::samples::ExplorationInformation::getNumberOfUnexploredStates (C++ function)
smc_storm::samples::ExplorationInformation::getRowGroup (C++ function)
smc_storm::samples::ExplorationInformation::getRowGroupSize (C++ function)
smc_storm::samples::ExplorationInformation::getRowOfMatrix (C++ function)
,
[1]
smc_storm::samples::ExplorationInformation::getStartRowOfGroup (C++ function)
smc_storm::samples::ExplorationInformation::getStateInfo (C++ function)
smc_storm::samples::ExplorationInformation::getStateReward (C++ function)
smc_storm::samples::ExplorationInformation::getUnexploredMarker (C++ function)
smc_storm::samples::ExplorationInformation::IdToStateMap (C++ type)
smc_storm::samples::ExplorationInformation::isTerminal (C++ function)
smc_storm::samples::ExplorationInformation::isUnexplored (C++ function)
smc_storm::samples::ExplorationInformation::MatrixType (C++ type)
smc_storm::samples::ExplorationInformation::moveActionToBackOfMatrix (C++ function)
smc_storm::samples::ExplorationInformation::newRowGroup (C++ function)
,
[1]
smc_storm::samples::ExplorationInformation::onlyOneActionAvailable (C++ function)
smc_storm::samples::ExplorationInformation::removeUnexploredState (C++ function)
smc_storm::samples::ExplorationInformation::StateInfoMap (C++ type)
smc_storm::samples::ExplorationInformation::StateInfoType (C++ type)
smc_storm::samples::ExplorationInformation::terminateCurrentRowGroup (C++ function)
smc_storm::samples::ExplorationInformation::unexploredStatesEnd (C++ function)
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::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::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::traces_file (C++ member)
smc_storm::settings::UserSettings (C++ struct)
smc_storm::settings::UserSettings::batch_size (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::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_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::StateInfoType (C++ type)