Package jline.solvers.ctmc.analyzers
Analyzers for SolverCTMC.
This package contains analyzer classes that implement specific analysis methods for the CTMC solver.
See: Description
-
Class Summary Class Description Solver_ctmc_analyzer RewardResult Result class for CTMC reward computation via value iteration. Solver_ctmc_reward CTMC reward analyzer using value iteration with uniformization.