Uses of Class
jline.solvers.ctmc.analyzers.Solver_ctmc_mdd_analyzer.MddResult

Packages that use Solver_ctmc_mdd_analyzer.MddResult

Package	Description
jline.solvers.ctmc.analyzers	Analyzers for SolverCTMC.

Uses of Solver_ctmc_mdd_analyzer.MddResult in jline.solvers.ctmc.analyzers

Methods in jline.solvers.ctmc.analyzers that return Solver_ctmc_mdd_analyzer.MddResult

Modifier and Type	Method	Description
static Solver_ctmc_mdd_analyzer.MddResult	Solver_ctmc_mdd_analyzer.solver_ctmc_mdd(NetworkStruct sn, SolverOptions options)	Analyse a closed single-class network by MDD level aggregation.
static Solver_ctmc_mdd_analyzer.MddResult	Solver_ctmc_mdd_analyzer.solver_ctmc_mdd(NetworkStruct sn, SolverOptions options, Network model)	Analyse a closed single-class network, or a stochastic Petri net, by MDD level aggregation.