Package jline.solvers.ctmc.analyzers

Class Solver_ctmc_reward

java.lang.Object

jline.solvers.ctmc.analyzers.Solver_ctmc_reward

public final class Solver_ctmc_reward
extends Object

Method Summary

Modifier and Type	Method	Description
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

Method Details

solver_ctmc_reward

public static RewardResult solver_ctmc_reward(NetworkStruct sn,
 SolverOptions options)

Compute rewards via value iteration on uniformized CTMC.