STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
Public Attributes | List of all members
stamina::core::ResultInformation Struct Reference

Public Attributes

double pMin
 
double pMax
 
uint32_t numberStates
 
uint8_t numberInitial
 
std::string property
 
The documentation for this struct was generated from the following file:
Generated by doxygen 1.9.3