smc_storm
0.1.0
Installation Guide
Reference
Tutorials
API
Class Hierarchy
File Hierarchy
Full API
Namespaces
Classes and Structs
Struct ModelAndProperties
Struct BatchResults
Struct BatchStatistics
Struct TraceInformation
Struct SmcSettings
Struct UserSettings
Struct JaniSmcStatesExpansion::ActionDescription
Struct JaniSmcStatesExpansion::ComputedDestinations
Struct JaniSmcStatesExpansion::PairHash
Template Struct VariableInformation
Class SmcPluginInstance
Class StatisticalModelChecker
Template Class StatisticalModelCheckingEngine
Class JaniParserExtended
Class BatchBuffer
Class CompressedStateTraceExporter
Class SamplingResults
Class TracesExporter
Class UncompressedStateTraceExporter
Class CmdSettings
Template Class ActionScheduler
Template Class ExplorationInformation
Template Class JaniSmcStatesExpansion
Template Class StateExpansionHandler
Template Class StateExpansionHandler< storm::generator::CompressedState, ValueType >
Template Class StateExpansionHandler< uint32_t, ValueType >
Template Class StateGeneration
Template Class StateGenerationBase
Template Class StateGenerationCacheless
Class PropertyDescription
Template Class StateDescription
Template Class StateVariableData
Template Class StateVariableInformation
Template Class ExpressionEvaluator
Enums
Functions
Variables
Typedefs
smc_storm
API
Struct TraceInformation
View page source
Struct TraceInformation
Defined in
File trace_information.hpp
Struct Documentation
struct
TraceInformation
Public Members
size_t
trace_length
TraceResult
outcome
double
reward