Package jline.solvers.ctmc.analyzers

package jline.solvers.ctmc.analyzers

Analyzers for SolverCTMC.

This package contains analyzer implementations for Continuous-Time Markov Chain (CTMC) based solutions, providing various analysis methods for steady-state and transient performance metrics.

Since:

LINE 2.0

See Also:

• jline.solvers.ctmc

Related Packages

Package	Description
jline.solvers.ctmc	This package provides an implementation of SolverCTMC.
jline.solvers.ctmc.handlers	Handlers for SolverCTMC.

Classes

Class	Description
RewardResult	Result class for CTMC reward computation via value iteration.
Solver_ctmc_analyzer
Solver_ctmc_cftp_analyzer	Perfect-sampling steady-state analysis of closed single-class product-form networks, the sampling alternative to CTMC state-space enumeration.
Solver_ctmc_cftp_analyzer.CftpResult	Metrics and sampled states returned by the perfect-sampling analyzer.
Solver_ctmc_mdd_analyzer	Stationary analysis by decision-diagram level aggregation.
Solver_ctmc_mdd_analyzer.MddResult	Metrics and diagram description returned by the aggregation analyzer.
Solver_ctmc_qrf_analyzer
Solver_ctmc_reward