Uses of Class
jline.solvers.ctmc.analyzers.RewardResult

Packages that use RewardResult

Package	Description
jline.solvers.ctmc	This package provides an implementation of SolverCTMC.
jline.solvers.ctmc.analyzers	Analyzers for SolverCTMC.

Uses of RewardResult in jline.solvers.ctmc

Methods in jline.solvers.ctmc that return RewardResult

Modifier and Type	Method	Description
RewardResult	SolverCTMC.getReward()	Get reward value function and state space for all rewards.
RewardResult	SolverCTMC.getReward(String rewardName)	Get reward value function and state space, with optional filtering by reward name.
RewardResult	SolverCTMC.getRewardResult()	Get reward computation results via value iteration.
RewardResult	SolverCTMC.runRewardAnalyzer()	Run the reward analyzer and cache results.

Uses of RewardResult in jline.solvers.ctmc.analyzers

Methods in jline.solvers.ctmc.analyzers that return RewardResult

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