Uses of Class
jline.api.mdd.MddStruct

Packages that use MddStruct

Package	Description
jline.api.mdd	Decision-diagram state-space storage and Miner-Ciardo-Donatelli aggregation.
jline.api.spn	Stochastic Petri net analysis.

Uses of MddStruct in jline.api.mdd

Methods in jline.api.mdd that return MddStruct

Modifier and Type	Method	Description
MddStruct	MDD.toStruct()	Export the diagram as plain arrays for downstream algorithms.

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

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.
static double	Mdd_rec.mdd_rec(MddStruct mdds, double[][] g)	The normalising constant G = sum_{s in S} prod_l g_l(s_l).
static double[]	Mdd_rec.mdd_rec_marginal(MddStruct mdds, double[][] g, int l)	Unnormalised masses of {s in S : s_l = k}, one per local value k of level l.
static double	Mdd_rec.mdd_rec_masked(MddStruct mdds, double[][] g, boolean[][] mask)	Unnormalised mass of the masked subset of the reachable set (Algorithm 1).

Uses of MddStruct in jline.api.spn

Fields in jline.api.spn declared as MddStruct

Modifier and Type	Field	Description
MddStruct	Spn_mdd.SpnResult.mdds

Methods in jline.api.spn with parameters of type MddStruct

Modifier and Type	Method	Description
static Spn_metrics.SpnMetricsResult	Spn_metrics.spn_metrics(MddStruct mdds, double[][] g, Spn_mdd.SpnInfo info)	Every measure of Sec.
static Spn_rec_enabled.SpnEnabling	Spn_rec_enabled.spn_rec_enabled(MddStruct mdds, double[][] g, Spn_mdd.SpnMode mde, int nplacelevels)	Enabling-degree masses of one mode over the reachable set in mdds.