Uses of Package
jline.api.spn

Packages that use jline.api.spn

Package	Description
jline.api.spn	Stochastic Petri net analysis.
jline.solvers.ctmc.analyzers	Analyzers for SolverCTMC.
jline.solvers.nc	This package provides an implementation of SolverNC.

Classes in jline.api.spn used by jline.api.spn

Class	Description
Spn_lpbnd.SpnLpBounds	The brackets, each a 2 x n array with row 0 the minimum.
Spn_lpbnd.SpnLpMode	One (transition, mode) pair over place-major levels.
Spn_lpbnd.SpnLpOptions	Options of the relaxation.
Spn_mdd.SpnInfo	Everything the caller needs alongside the descriptor.
Spn_mdd.SpnMode	One (transition, mode) pair of the net, in level coordinates.
Spn_mdd.SpnOptions	Options of the translation.
Spn_mdd.SpnResult	Descriptor, diagram and metadata returned together.
Spn_metrics.SpnMetricsResult	The stationary measures of Sec.
Spn_pf.SpnPfOptions	Options of the product-form derivation.
Spn_pf.SpnPfResult	The product form, and the certificate that it is one.
Spn_rec_enabled.SpnEnabling	Unnormalised enabling-degree masses of one mode.
Spn_sinvariants.SpnInvariants	The invariant basis of a net, in place-level coordinates.

Classes in jline.api.spn used by jline.solvers.ctmc.analyzers

Class	Description
Spn_mdd.SpnInfo	Everything the caller needs alongside the descriptor.

Classes in jline.api.spn used by jline.solvers.nc

Class	Description
Spn_pf.SpnPfResult	The product form, and the certificate that it is one.