Package jline.api.mc
package jline.api.mc
Markov Chain analysis algorithms.
This package provides fundamental algorithms for analyzing discrete and continuous-time Markov chains, including steady-state and transient analysis.
- Since:
- LINE 2.0
-
ClassesClassDescriptionResult of ctmc_multi computation.CTMC random generator matrix construction.Solve reducible CTMCs via direct block decomposition on the generator matrix.Result of full reducible CTMC solve.CTMC State Space Generator for Reachability Analysis.Result data class for CTMC SSG reachability analysisDTMC random transition matrix generation.Result class for DTMC solve reducible.Result class for DTMC uniformization analysis containing the probability vector and maximum iterations used.