All Implemented Interfaces:
```
public final class RewardResult

                    
```
Result class for CTMC reward computation via value iteration.

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description

Field Summary

Fields
Modifier and Type	Field	Description
`private final Map<String, Matrix>`	`valueFunction`
`private final DoubleArray`	`time`
`private final List<String>`	`rewardNames`
`private final Matrix`	`stateSpace`
`private final Map<String, Double>`	`steadyState`
`private final Double`	`runtime`

Constructor Summary

Constructors
Constructor	Description
`RewardResult(Map<String, Matrix> valueFunction, DoubleArray time, List<String> rewardNames, Matrix stateSpace, Map<String, Double> steadyState, Double runtime)`

Enum Constant Summary

Enum Constants
Enum Constant	Description

Method Summary

Modifier and Type	Method	Description
`final Map<String, Matrix>`	`getValueFunction()`	Map from reward name to value function matrix Tmax+1 x nStates
`final DoubleArray`	`getTime()`	Time vector scaled by uniformization rate
`final List<String>`	`getRewardNames()`	List of reward names in order
`final Matrix`	`getStateSpace()`	The state space matrix nStates x nDims
`final Map<String, Double>`	`getSteadyState()`	Map from reward name to steady-state expected reward
`final Double`	`getRuntime()`	Computation time in seconds

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RewardResult

RewardResult(Map<String, Matrix> valueFunction, DoubleArray time, List<String> rewardNames, Matrix stateSpace, Map<String, Double> steadyState, Double runtime)

Method Detail
- getValueFunction
```
 final Map<String, Matrix> getValueFunction()
```
  Map from reward name to value function matrix Tmax+1 x nStates
- getTime
```
 final DoubleArray getTime()
```
  Time vector scaled by uniformization rate
- getRewardNames
```
 final List<String> getRewardNames()
```
  List of reward names in order
- getStateSpace
```
 final Matrix getStateSpace()
```
  The state space matrix nStates x nDims
- getSteadyState
```
 final Map<String, Double> getSteadyState()
```
  Map from reward name to steady-state expected reward
- getRuntime
```
 final Double getRuntime()
```
  Computation time in seconds

Class RewardResult

Nested Class Summary

Field Summary

Constructor Summary

Enum Constant Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

RewardResult

Method Detail

getValueFunction

getTime

getRewardNames

getStateSpace

getSteadyState

getRuntime