Package jline.solvers.ctmc.handlers
package jline.solvers.ctmc.handlers
Handlers for SolverCTMC.
This package contains event and result handlers for Continuous-Time Markov Chain analysis, managing state transitions and result processing.
- Since:
- LINE 2.0
- See Also:
-
ClassesClassDescriptionReachability-based state space and per-action rate filters for models with a finite capacity region (FCR) whose drop rule is WAITQ (waiting queue).Result bundle: augmented spaces plus the per-action rate filters.