Uses of Class
jline.api.spn.Spn_rec_enabled.SpnEnabling

Packages that use Spn_rec_enabled.SpnEnabling

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

Uses of Spn_rec_enabled.SpnEnabling in jline.api.spn

Methods in jline.api.spn that return Spn_rec_enabled.SpnEnabling

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