Uses of Class
jline.api.mdd.MddDescriptor

Packages that use MddDescriptor

Package	Description
jline.api.mdd	Decision-diagram state-space storage and Miner-Ciardo-Donatelli aggregation.
jline.api.spn	Stochastic Petri net analysis.
jline.solvers.ctmc.analyzers	Analyzers for SolverCTMC.

Uses of MddDescriptor in jline.api.mdd

Methods in jline.api.mdd that return MddDescriptor

Modifier and Type	Method	Description
static MddDescriptor	Mdd_descriptor.mdd_descriptor(double[] mu, double[][] P, double[] servers, int N, MddServiceLaw[] proc, String[] sched)	Build the descriptor.
static MddDescriptor	Mdd_ps.mdd_ps(double[] mu, double[][] P, double[] servers, int N, MddServiceLaw[] proc)	Build the descriptor.

Methods in jline.api.mdd with parameters of type MddDescriptor

Modifier and Type	Method	Description
static MddMcdResult	Mdd_mcd.mdd_mcd(MddStruct mdds, MddDescriptor desc)	Run the aggregation with the default level-iteration knobs.
static MddMcdResult	Mdd_mcd.mdd_mcd(MddStruct mdds, MddDescriptor desc, MddMcdOptions options)	Approximate stationary measures by decision-diagram-guided aggregation.

Uses of MddDescriptor in jline.api.spn

Fields in jline.api.spn declared as MddDescriptor

Modifier and Type	Field	Description
MddDescriptor	Spn_mdd.SpnResult.desc

Uses of MddDescriptor in jline.solvers.ctmc.analyzers

Fields in jline.solvers.ctmc.analyzers declared as MddDescriptor

Modifier and Type	Field	Description
MddDescriptor	Solver_ctmc_mdd_analyzer.MddResult.desc	The Kronecker descriptor that was built.