Uses of Class
jline.api.spn.Spn_reachprops.SpnReachProps

Packages that use Spn_reachprops.SpnReachProps

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

Uses of Spn_reachprops.SpnReachProps in jline.api.spn

Fields in jline.api.spn declared as Spn_reachprops.SpnReachProps

Modifier and Type	Field	Description
Spn_reachprops.SpnReachProps	Spn_properties.SpnProperties.reach

Methods in jline.api.spn that return Spn_reachprops.SpnReachProps

Modifier and Type	Method	Description
static Spn_reachprops.SpnReachProps	Spn_reachprops.spn_reachprops(NetworkStruct sn)
static Spn_reachprops.SpnReachProps	Spn_reachprops.spn_reachprops(NetworkStruct sn, double[] init)
static Spn_reachprops.SpnReachProps	Spn_reachprops.spn_reachprops(NetworkStruct sn, double[] init, int maxstates)	Behavioural properties of a net.