API

Class Hierarchy

• • Namespace smc_storm
    • Namespace smc_storm::model_checker
      • Class StatisticalModelChecker
      • Template Class StatisticalModelCheckingEngine
    • Namespace smc_storm::parser
      • Struct SymbolicModelAndProperty
    • Namespace smc_storm::samples
      • Struct BatchResults
      • Struct BatchStatistics
      • Struct TraceInformation
      • Class BatchBuffer
      • Template Class ModelSampling
      • Class SamplingResults
      • Class TracesExporter
      • Enum TraceResult
    • Namespace smc_storm::settings
      • Struct SmcSettings
      • Struct UserSettings
      • Class CmdSettings
    • Namespace smc_storm::state_generation
      • Template Class ExplorationInformation
      • Template Class StateExpansionHandler
      • Template Class StateExpansionHandler< storm::generator::CompressedState, ValueType >
      • Template Class StateExpansionHandler< uint32_t, ValueType >
      • Template Class StateGeneration
    • Namespace smc_storm::state_properties
      • Class PropertyDescription
      • Template Class StateDescription
      • Enum PropertyType

File Hierarchy

• • Directory include
    • Directory model_checker
      • File statistical_model_checker.hpp
      • File statistical_model_checking_engine.hpp
    • Directory parser
      • File parsers.hpp
    • Directory samples
      • File batch_buffer.hpp
      • File batch_results.hpp
      • File batch_statistics.hpp
      • File model_sampling.hpp
      • File sampling_results.hpp
      • File trace_information.hpp
      • File trace_result.hpp
      • File traces_exporter.hpp
    • Directory settings
      • File cmd_settings.hpp
      • File smc_settings.hpp
      • File user_settings.hpp
    • Directory state_generation
      • File exploration_information.hpp
      • File state_expansion_handler.hpp
      • File state_generation.hpp
    • Directory state_properties
      • File property_description.hpp
      • File property_type.hpp
      • File state_description.hpp
      • File state_info.hpp

Full API

Namespaces

• Namespace smc_storm
  • Namespaces

• Namespace smc_storm::model_checker
  • Classes

• Namespace smc_storm::parser
  • Classes
  • Functions

• Namespace smc_storm::samples
  • Classes
  • Enums
  • Functions

• Namespace smc_storm::settings
  • Classes
  • Variables

• Namespace smc_storm::state_generation
  • Classes
  • Variables

• Namespace smc_storm::state_properties
  • Namespaces
  • Classes
  • Enums
  • Typedefs

• Namespace smc_storm::state_properties::state_info
  • Functions
  • Variables

• Namespace storm
  • Namespaces

• Namespace storm::modelchecker

Classes and Structs

• Struct SymbolicModelAndProperty
  • Struct Documentation

• Struct BatchResults
  • Struct Documentation

• Struct BatchStatistics
  • Struct Documentation

• Struct TraceInformation
  • Struct Documentation

• Struct SmcSettings
  • Struct Documentation

• Struct UserSettings
  • Struct Documentation

• Class StatisticalModelChecker
  • Class Documentation

• Template Class StatisticalModelCheckingEngine
  • Inheritance Relationships
    • Base Type
  • Class Documentation

• Class BatchBuffer
  • Class Documentation

• Template Class ModelSampling
  • Class Documentation

• Class SamplingResults
  • Class Documentation

• Class TracesExporter
  • Class Documentation

• Class CmdSettings
  • Class Documentation

• Template Class ExplorationInformation
  • Class Documentation

• Template Class StateExpansionHandler
  • Class Documentation

• Template Class StateExpansionHandler< storm::generator::CompressedState, ValueType >
  • Class Documentation

• Template Class StateExpansionHandler< uint32_t, ValueType >
  • Class Documentation

• Template Class StateGeneration
  • Class Documentation

• Class PropertyDescription
  • Class Documentation

• Template Class StateDescription
  • Class Documentation

Enums

• Enum TraceResult
  • Enum Documentation

• Enum PropertyType
  • Enum Documentation

Functions

• Function smc_storm::parser::filterProperties
  • Function Documentation

• Function smc_storm::parser::getRequestedProperties
  • Function Documentation

• Function smc_storm::parser::parseJaniModelAndProperties
  • Function Documentation

• Function smc_storm::parser::parseModelAndProperties
  • Function Documentation

• Function smc_storm::parser::parsePrismModelAndProperties
  • Function Documentation

• Function smc_storm::parser::substituteConstants
  • Function Documentation

• Function smc_storm::samples::toString
  • Function Documentation

• Function smc_storm::state_properties::state_info::checkBreakCondition
  • Function Documentation

• Function smc_storm::state_properties::state_info::checkIsTerminal
  • Function Documentation

• Function smc_storm::state_properties::state_info::checkNoInfo
  • Function Documentation

• Function smc_storm::state_properties::state_info::checkSatisfyTarget
  • Function Documentation

Variables

• Variable smc_storm::settings::VERSION
  • Variable Documentation

• Variable smc_storm::state_generation::StoreExpandedStates
  • Variable Documentation

• Variable smc_storm::state_properties::state_info::BREAK_CONDITION
  • Variable Documentation

• Variable smc_storm::state_properties::state_info::IS_TERMINAL
  • Variable Documentation

• Variable smc_storm::state_properties::state_info::NO_INFO
  • Variable Documentation

• Variable smc_storm::state_properties::state_info::SATISFY_TARGET
  • Variable Documentation

Typedefs

• Typedef smc_storm::state_properties::StateInfoType
  • Typedef Documentation