Package jline.api.mc

Class Dtmc_solve_reducible.DtmcSolveReducibleResult

java.lang.Object
jline.api.mc.Dtmc_solve_reducible.DtmcSolveReducibleResult
Enclosing class:
Dtmc_solve_reducible

public static final class Dtmc_solve_reducible.DtmcSolveReducibleResult extends Object
Result class for DTMC solve reducible.