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

Packages that use Spn_mdd.SpnOptions

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

Uses of Spn_mdd.SpnOptions in jline.api.spn

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

Modifier and Type	Method	Description
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.