Uses of Class
jline.api.spn.Spn_reachgraph.SpnReachGraph

Packages that use Spn_reachgraph.SpnReachGraph

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

Uses of Spn_reachgraph.SpnReachGraph in jline.api.spn

Fields in jline.api.spn declared as Spn_reachgraph.SpnReachGraph

Modifier and Type	Field	Description
Spn_reachgraph.SpnReachGraph	Spn_reachprops.SpnReachProps.graph

Methods in jline.api.spn that return Spn_reachgraph.SpnReachGraph

Modifier and Type	Method	Description
static Spn_reachgraph.SpnReachGraph	Spn_reachgraph.spn_reachgraph(NetworkStruct sn)
static Spn_reachgraph.SpnReachGraph	Spn_reachgraph.spn_reachgraph(NetworkStruct sn, double[] init)
static Spn_reachgraph.SpnReachGraph	Spn_reachgraph.spn_reachgraph(NetworkStruct sn, double[] init, int maxstates)	The reachability graph.