Uses of Package
jline.api.mdd

Packages that use jline.api.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.

Classes in jline.api.mdd used by jline.api.mdd

Class	Description
MDD	Quasi-reduced ordered Multi-valued Decision Diagram.
MddClosedQnResult	Result of the MDD-stored exact closed-network solve of Mdd_closedqn.
MddDescriptor	Kronecker rate descriptor of a structured model, the input of Mdd_mcd.
MddEvent	One event of the Kronecker rate descriptor.
MddLocalMatrix	A local rate matrix W_k^e of the Kronecker descriptor, held row-compressed.
MddLocalMatrix.Builder	Incremental triplet builder; duplicate entries are accumulated.
MddMcdOptions	Knobs of the level iteration in Mdd_mcd.
MddMcdResult	Result of the Miner-Ciardo-Donatelli level aggregation.
MddNextState	Next-state function of a structured model, over local-index tuples.
MddServiceLaw	Phase-type service law of one station, as a Markovian (D0,D1) pair.
MddStats	Storage description of the set held in an MDD.
MddStruct	Plain-array export of an MDD, the input contract of Mdd_mcd.

Classes in jline.api.mdd used by jline.api.spn

Class	Description
MDD	Quasi-reduced ordered Multi-valued Decision Diagram.
MddDescriptor	Kronecker rate descriptor of a structured model, the input of Mdd_mcd.
MddStruct	Plain-array export of an MDD, the input contract of Mdd_mcd.

Classes in jline.api.mdd used by jline.solvers.ctmc.analyzers

Class	Description
MDD	Quasi-reduced ordered Multi-valued Decision Diagram.
MddDescriptor	Kronecker rate descriptor of a structured model, the input of Mdd_mcd.