Package jline.api.mc
See: Description
-
Class Summary Class Description CtmcCourtoisKt CTMC courtois algorithms CtmcKmsKt CTMC kms algorithms CtmcMakeinfgenKt CTMC makeinfgen algorithms CtmcMultiKt CTMC multi algorithms CtmcPseudostochcompKt CTMC pseudostochcomp algorithms CtmcRandKt CTMC rand algorithms CtmcRandomizationKt CTMC randomization algorithms CtmcRelsolveKt CTMC relsolve algorithms CtmcSimulateKt CTMC simulate algorithms CtmcSolveKt CTMC solve algorithms CtmcSolveReducibleResult Alternative signature that returns additional information CtmcSolveReducibleKt CTMC solve reducible algorithms CtmcSsgKt CTMC ssg algorithms CtmcSsgReachabilityResult Result data class for CTMC SSG reachability analysis CtmcSsgReachabilityKt CTMC ssg reachability algorithms CtmcStmonotoneKt CTMC stmonotone algorithms CtmcStochcompKt CTMC stochcomp algorithms CtmcTakahashiKt CTMC takahashi algorithms CtmcTestpfKolmogorovKt CTMC testpf kolmogorov algorithms CtmcTimereverseKt CTMC timereverse algorithms CtmcTransientKt CTMC transient algorithms CtmcUniformizationKt CTMC uniformization algorithms DtmcIsfeasibleKt DTMC isfeasible algorithms DtmcMakestochasticKt DTMC makestochastic algorithms DtmcRandKt DTMC rand algorithms DtmcSimulateKt DTMC simulate algorithms DtmcSolveKt DTMC solve algorithms DtmcSolveReducibleResult Result class for DTMC solve reducible DtmcSolveReducibleKt DTMC solve reducible algorithms DtmcStochcompKt DTMC stochcomp algorithms DtmcTimereverseKt DTMC timereverse algorithms DtmcUniformizationResult Result class for DTMC uniformization analysis containing the probability vector and maximum iterations used. DtmcUniformizationKt DTMC uniformization algorithms Ctmc_courtoisKt Ctmc_kmsKt Ctmc_makeinfgenKt Ctmc_multiKt Ctmc_pseudostochcompKt Ctmc_randKt Ctmc_randomizationKt Ctmc_relsolveKt Ctmc_simulateKt Ctmc_solveKt Ctmc_solve_reducibleKt Ctmc_ssgKt Ctmc_ssg_reachabilityKt Ctmc_stmonotoneKt Ctmc_stochcompKt Ctmc_takahashiKt Ctmc_testpf_kolmogorovKt Ctmc_timereverseKt Ctmc_transientKt Ctmc_uniformizationKt Dtmc_isfeasibleKt Dtmc_makestochasticKt Dtmc_randKt Dtmc_simulateKt Dtmc_solveKt Dtmc_solve_reducibleKt Dtmc_stochcompKt Dtmc_timereverseKt Dtmc_uniformizationKt