smc_storm
0.1.0
Installation Guide
Tutorials
API
Class Hierarchy
File Hierarchy
Full API
Namespaces
Classes and Structs
Enums
Functions
Variables
Variable smc_storm::settings::VERSION
Variable smc_storm::state_generation::StoreExpandedStates
Variable smc_storm::state_properties::state_info::BREAK_CONDITION
Variable smc_storm::state_properties::state_info::IS_TERMINAL
Variable smc_storm::state_properties::state_info::NO_INFO
Variable smc_storm::state_properties::state_info::SATISFY_TARGET
Typedefs
smc_storm
API
Variable smc_storm::settings::VERSION
View page source
Variable smc_storm::settings::VERSION
Defined in
File cmd_settings.hpp
Variable Documentation
constexpr
const
char
*
const
smc_storm
::
settings
::
VERSION
=
"0.0.4"