Uses of Class
jline.api.mdd.MDD

Packages that use MDD

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 MDD in jline.api.mdd

Fields in jline.api.mdd declared as MDD

Modifier and Type	Field	Description
final MDD	MddClosedQnResult.mdd	The MDD holding the reachable occupancy set.

Methods in jline.api.mdd that return MDD

Modifier and Type	Method	Description
static MDD	MDD.fromStates(int[] domain, int[][] states)	Build an MDD from a set of 0-based state tuples.
static MDD	Mdd_reachset.mdd_reachset(int[] domain, int[] init, MddNextState nextfun)	Generate and store the reachability set into a quasi-reduced ordered MDD.

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

Modifier and Type	Method	Description
static MddClosedQnResult	Mdd_closedqn.mdd_closedqn(double[] mu, Matrix P, double[] servers, int N, MDD reuse)

Constructors in jline.api.mdd with parameters of type MDD

Modifier	Constructor	Description
	MddClosedQnResult(MDD mdd, Matrix Q, Matrix pi, int[][] states, double[] QLen, double[] U, double[] X, MddStats stats, double timeReach, double timeGen, double timeSolve, double timeMetrics)

Uses of MDD in jline.api.spn

Fields in jline.api.spn declared as MDD

Modifier and Type	Field	Description
MDD	Spn_mdd.SpnInfo.mdd

Uses of MDD in jline.solvers.ctmc.analyzers

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

Modifier and Type	Field	Description
MDD	Solver_ctmc_mdd_analyzer.MddResult.mdd	The reachable set as stored.