Solver_ctmc_reward

All Implemented Interfaces:
```
public final class Solver_ctmc_reward

                    
```
CTMC reward analyzer using value iteration with uniformization.
Computes cumulative rewards via the Bellman equation: V^{k+1}(s) = r(s) + sum_{s'} P(s,s') * V^k(s')
where P is the uniformized transition probability matrix.

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description

Field Summary

Fields
Modifier and Type	Field	Description

Constructor Summary

Constructors
Constructor	Description
`Solver_ctmc_reward()`

Enum Constant Summary

Enum Constants
Enum Constant	Description

Method Summary

Modifier and Type	Method	Description
`final static RewardResult`	`solver_ctmc_reward(NetworkStruct sn, SolverOptions options)`	Compute rewards via value iteration on uniformized CTMC.

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

- Constructor Detail
  - Solver_ctmc_reward
```
Solver_ctmc_reward()
```
- Method Detail
  - solver_ctmc_reward
```
 final static RewardResult solver_ctmc_reward(NetworkStruct sn, SolverOptions options)
```
    Compute rewards via value iteration on uniformized CTMC.
    
    Parameters:
    
    sn - NetworkStruct with reward definitions in sn.
    
    options - SolverOptions with rewardIterations setting
    
    Returns:
    
    RewardResult containing value functions and steady-state rewards