STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
Public Member Functions | Public Attributes | List of all members
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >::TransitionInfo Class Reference

#include <StaminaModelBuilder.h>

Public Member Functions

 TransitionInfo (StateType from, StateType to, double transition)
 

Public Attributes

StateType from
 
StateType to
 
double transition
 

Detailed Description

template<typename ValueType, typename RewardModelType = storm::models::sparse::StandardRewardModel<ValueType>, typename StateType = uint32_t>
class stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >::TransitionInfo

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


The documentation for this class was generated from the following file: