smc_storm
0.1.0
Installation Guide
Tutorials
API
Class Hierarchy
File Hierarchy
Full API
Namespaces
Classes and Structs
Struct SymbolicModelAndProperty
Struct BatchResults
Struct BatchStatistics
Struct TraceInformation
Struct SmcSettings
Struct UserSettings
Class StatisticalModelChecker
Template Class StatisticalModelCheckingEngine
Class BatchBuffer
Template Class ModelSampling
Class SamplingResults
Class TracesExporter
Class CmdSettings
Template Class ExplorationInformation
Template Class StateExpansionHandler
Template Class StateExpansionHandler< storm::generator::CompressedState, ValueType >
Template Class StateExpansionHandler< uint32_t, ValueType >
Template Class StateGeneration
Class PropertyDescription
Template Class StateDescription
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