STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
#include <StaminaModelBuilder.h>
Public Member Functions | |
TransitionInfo (StateType from, StateType to, double transition) | |
Public Attributes | |
StateType | from |
StateType | to |
double | transition |
A basic struct for out of order transitions to insert into the transition matrix. This is faster than using the remapping and std::sort in the STORM API