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

Packages that use Spn_mdd.SpnResult

Package	Description
jline.api.spn	Stochastic Petri net analysis.

Uses of Spn_mdd.SpnResult in jline.api.spn

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

Modifier and Type	Field	Description
Spn_mdd.SpnResult	Spn_pf.SpnPfResult.spn

Methods in jline.api.spn that return Spn_mdd.SpnResult

Modifier and Type	Method	Description
static Spn_mdd.SpnResult	Spn_mdd.spn_mdd(Network model)	Translate the net with the default options.
static Spn_mdd.SpnResult	Spn_mdd.spn_mdd(Network model, Spn_mdd.SpnOptions options)	Build the reachable set and Kronecker descriptor of a stochastic Petri net.