 |
STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
|
STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
This is the complete list of members for stamina::core::StaminaModelChecker, including all inherited members.
| initialize(std::shared_ptr< storm::prism::Program > modulesFile=nullptr, std::shared_ptr< std::vector< storm::jani::Property > > propertiesVector=nullptr) | stamina::core::StaminaModelChecker | |
| modelCheckProperty(storm::jani::Property propMin, storm::jani::Property propMax, storm::prism::Program const &modulesFile) | stamina::core::StaminaModelChecker | |
| StaminaModelChecker(std::shared_ptr< storm::prism::Program > modulesFile=nullptr, std::shared_ptr< std::vector< storm::jani::Property > > propertiesVector=nullptr) | stamina::core::StaminaModelChecker | |
| ~StaminaModelChecker() | stamina::core::StaminaModelChecker |
1.9.3