Uses of Class
jline.api.spn.Spn_mdd.SpnInfo

Packages that use Spn_mdd.SpnInfo

Package	Description
jline.api.spn	Stochastic Petri net analysis.
jline.solvers.ctmc.analyzers	Analyzers for SolverCTMC.

Uses of Spn_mdd.SpnInfo in jline.api.spn

Fields in jline.api.spn declared as Spn_mdd.SpnInfo

Modifier and Type	Field	Description
Spn_mdd.SpnInfo	Spn_mdd.SpnResult.info

Methods in jline.api.spn with parameters of type Spn_mdd.SpnInfo

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.

Uses of Spn_mdd.SpnInfo in jline.solvers.ctmc.analyzers

Fields in jline.solvers.ctmc.analyzers declared as Spn_mdd.SpnInfo

Modifier and Type	Field	Description
Spn_mdd.SpnInfo	Solver_ctmc_mdd_analyzer.MddResult.spn	The SPN metadata, when the net route was taken; null otherwise.